diff options
| -rwxr-xr-x | devscripts/release.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index 20a96c6a9..015372d5e 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -15,8 +15,9 @@ set -e skip_test=false -if [ "$2" = '--skip-test' ]; then +if [ "$1" = '--skip-test' ]; then skip_test=true + shift fi if [ -z "$1" ]; then echo "ERROR: specify version number like this: $0 1994.09.06"; exit 1; fi version="$1" |