exit release script on error.

2016-10-24 13:10:59 +02:00 · 2016-10-24 13:10:59 +02:00 · bdc51eecb7
parent 7a38f3fd09
commit bdc51eecb7
1 changed files with 1 additions and 0 deletions
--- a/Installation/release.sh
+++ b/Installation/release.sh
@ -47,6 +47,7 @@ while [ "$#" -gt 1 ];  do
        *)
            if test -n "${VERSION}"; then
                echo "we already have a version ${VERSION} aborting because of $1"
+                exit 1
            fi
            VERSION="$1"
            shift