diff --git a/configure b/configure index 396110ffe2..d276374f84 100755 --- a/configure +++ b/configure @@ -1242,6 +1242,7 @@ for ac_option do *) echo "Unknown parameter: $ac_option" + exit ;; esac