diff options
author | Anton Lundin <glance@acc.umu.se> | 2017-11-15 21:03:28 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-11-16 10:23:00 -0800 |
commit | 3f4f1605526c99262e1b3814cf9480f555298d75 (patch) | |
tree | 7774763366f9ebf4d51c898fb9cd3daae2a81fe0 /packaging | |
parent | f9c85fa75574be69842ffb6b7d56849e8a20721c (diff) | |
download | subsurface-3f4f1605526c99262e1b3814cf9480f555298d75.tar.gz |
android: Terminate build.sh on unknown arguments
Previous code ended up in a eternal loop on unknown arguments.
Signed-off-by: Anton Lundin <glance@acc.umu.se>
Diffstat (limited to 'packaging')
-rwxr-xr-x | packaging/android/build.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/packaging/android/build.sh b/packaging/android/build.sh index 7feb43bcd..1a0120879 100755 --- a/packaging/android/build.sh +++ b/packaging/android/build.sh @@ -64,7 +64,11 @@ while [ "$#" -gt 0 ] ; do arm|x86) ARCH=$1 shift - ;; + ;; + *) + echo "Unknown argument $1" + exit 1 + ;; esac done |