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