diff --git a/build-aux/ci_build.bash b/build-aux/ci_build.bash index 69409076..afa5f6b2 100755 --- 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