X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=configure;h=fcaa373faa2c5a02f19a0279872a79e5a323974e;hp=c52dd3bd2277a381f8dc874769b8d58bc1d4160e;hb=a597c8b6ca7140e2a54b71eba86ea14d491582f9;hpb=ea43d06300b64aca2397ca77dfa526db6a2e3d9b diff --git a/configure b/configure index c52dd3bd..fcaa373f 100755 --- a/configure +++ b/configure @@ -76,6 +76,11 @@ Additional options are accepted for compatibility with other configure-script calling conventions, but don't do anything yet: --build=-- Currently ignored + --infodir=DIR Currently ignored + --localstatedir=DIR Currently ignored + --libexecdir=DIR Currently ignored + --disable-maintainer-mode Currently ignored + --disable-dependency-tracking Currently ignored EOF } @@ -111,6 +116,16 @@ for option; do build_option=${build_option#*-} build_vendor=${build_option%%-*} build_os=${build_option#*-} + elif [ "${option%%=*}" = '--infodir' ] ; then + true + elif [ "${option%%=*}" = '--localstatedir' ] ; then + true + elif [ "${option%%=*}" = '--libexecdir' ] ; then + true + elif [ "${option}" = '--disable-maintainer-mode' ] ; then + true + elif [ "${option}" = '--disable-dependency-tracking' ] ; then + true else echo "Unrecognized option: ${option}" echo "See:"