Remove ./configure failure for unrecognized options

The Debian build process (and presumably others) passes many options
to the configure script.  Most of them are not needed for notmuch.
The configure script needs to just silently ignore the extra options
it's not using, so that the configure stage won't fail and the build
process can continue.

diff --git a/configure b/configure
index fa8e142bb786e0450992abe823c6a9ee26bffb9e..c6e0c09a8f8014c9458c9461ae59094c49e56e05 100755 (executable)
--- a/configure
+++ b/configure
@@ -59,12 +59,6 @@ for option; do
        exit 0
     elif [ "${option%%=*}" = '--prefix' ] ; then
        PREFIX="${option#*=}"
-    else
-       echo "Unrecognized option: ${option}."
-       echo "See:"
-       echo "  $0 --help"
-       echo ""
-       exit 1
     fi
 done