From 9f99a301b158dc1ed1c8c6754db1d57e3b0becf4 Mon Sep 17 00:00:00 2001 From: Jameson Graef Rollins Date: Sat, 5 Dec 2009 02:02:38 -0500 Subject: [PATCH 1/1] 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 -- 2.43.0