Fix release script once more

11 years ago · 964ac8b584
parent a3522dfddd
commit 964ac8b584
1 changed files with 4 additions and 3 deletions
--- a/devscripts/release.sh
+++ b/devscripts/release.sh
@ -14,11 +14,12 @@

 set -e

-skip_test=false
+skip_tests=false
 if [ "$1" = '--skip-test' ]; then
-    skip_test=true
+    skip_tests=true
    shift
 fi
+
 if [ -z "$1" ]; then echo "ERROR: specify version number like this: $0 1994.09.06"; exit 1; fi
 version="$1"
 if [ ! -z "`git tag | grep "$version"`" ]; then echo 'ERROR: version already present'; exit 1; fi