From 9f99a301b158dc1ed1c8c6754db1d57e3b0becf4 Mon Sep 17 00:00:00 2001
From: Jameson Graef Rollins <jrollins@finestructure.net>
Date: Sat, 5 Dec 2009 02:02:38 -0500
Subject: [PATCH] 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.
---
 configure | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/configure b/configure
index fa8e142b..c6e0c09a 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