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.

1 files changed, 0 insertions, 6 deletions

diff --git a/configure b/configure
index fa8e142..c6e0c09 100755
--- 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