diff --git a/configure b/configure index 188c3609..f152cf9e 100755 --- a/configure +++ b/configure @@ -168,7 +168,7 @@ for opt do ;; --help|-h) show_help="yes" ;; - *) echo "configure: unrecognized option $opt"; exit 1 + *) echo "configure: WARNING: unrecognized option $opt" ;; esac done