Updated version scripts for git

2015-04-24 19:40:38 +02:00
parent 2357e31965
commit 2745eefec7
2 changed files with 22 additions and 0 deletions
--- 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"