diff options
| -rwxr-xr-x | tools/buildbot-build.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/buildbot-build.sh b/tools/buildbot-build.sh index 2d26b4858d..963efa49a5 100755 --- a/tools/buildbot-build.sh +++ b/tools/buildbot-build.sh @@ -52,6 +52,9 @@ while true; do shift elif [[ "$1" == "" ]]; then break + else + echo "Unknown options $@" + exit 1 fi done |