CI: Catch unsupported arguments in ci_build.bash

diff --git a/build-aux/ci_build.bash b/build-aux/ci_build.bash
index 69409076f07b4b5ec73c814fe5198cef9dec6caf..afa5f6b256c3172e83fa83f15661e765b9ba6557 100755 (executable)
--- a/build-aux/ci_build.bash
+++ b/build-aux/ci_build.bash
@@ -115,6 +115,10 @@ while getopts a:b:c:d:l:m:n:s:p:f:w:h opt; do
        ;;
        w) WRAPPER="$OPTARG"
        ;;
+       *)
+               echo "Unsupported option: $opt"
+               exit 1
+       ;;
        esac
 done