diff --git a/configure b/configure index 7a74c6013262f8f415babfbff9373f98dbaef8e3..205eee8cacfd6962ad04a1351cb71fa840dfe664 100755 --- a/configure +++ b/configure @@ -316,6 +316,8 @@ for opt do ;; --disable-werror) werror="no" ;; + *) echo "ERROR: unknown option $opt"; show_help="yes" + ;; esac done