X-Git-Url: https://rtime.felk.cvut.cz/gitweb/notmuch.git/blobdiff_plain/c340c1bd1140c0a1b7e0f24ef3ebac806f5fc3e6..0ea5f3fc0e0336921ba670a28201b59d2c977cfb:/configure diff --git a/configure b/configure index d240b6ac..a64f3a01 100755 --- 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