From 2745eefec70dc0be0a9efbd7e285d214e779521a Mon Sep 17 00:00:00 2001
From: o9000 <o9000>
Date: Fri, 24 Apr 2015 19:40:38 +0200
Subject: [PATCH] Updated version scripts for git

---
 get_version.sh  | 17 +++++++++++++++++
 make_release.sh |  5 +++++
 2 files changed, 22 insertions(+)

diff --git a/get_version.sh b/get_version.sh
index b830059..ed0cf00 100755
--- a/get_version.sh
+++ b/get_version.sh
@@ -1,3 +1,20 @@
 #!/bin/sh
 
+git update-index -q --ignore-submodules --refresh
+# Disallow unstaged changes in the working tree
+if ! git diff-files --quiet --ignore-submodules --
+then
+    echo >&2 "Error: there are unstaged changes."
+    git diff-files --name-status -r --ignore-submodules -- >&2
+    exit 1
+fi
+
+# Disallow uncommitted changes in the index
+if ! git diff-index --cached --quiet HEAD --ignore-submodules --
+then
+    echo >&2 "Error: there are uncommitted changes."
+    git diff-index --cached --name-status -r --ignore-submodules HEAD -- >&2
+    exit 1
+fi
+
 git describe --exact-match 2>/dev/null || echo "0.11-git$(git show -s --pretty=format:%cI.%h | tr -d ':' | tr -d '-' | tr '.' '-' | sed 's/T[0-9\+]*//g')"
diff --git a/make_release.sh b/make_release.sh
index af98b56..b679219 100755
--- a/make_release.sh
+++ b/make_release.sh
@@ -20,6 +20,11 @@
 # git checkout master
 
 VERSION=$(./get_version.sh)
+if [ ! $? -eq 0 ]
+then
+    echo >&2 "Error: get_version.sh failed!"
+    exit 1
+fi
 
 DIR=tint2-$VERSION
 echo "Making release $DIR"