Merge branch 'upstream'

[notmuch] / configure

diff --git a/configure b/configure
index d240b6acf8bda20b033e62ef1beda4c3cebe38d3..a64f3a0183d2dc893599a3fa1fbb09ba74430db3 100755 (executable)
--- a/configure
+++ b/configure
@@ -67,12 +67,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