diff --git a/configure b/configure index 8bcaf0eb..c7768c4c 100755 --- a/configure +++ b/configure @@ -257,6 +257,9 @@ while [ $# -ne 0 ]; do --with-*) set_tool "$1" "$2" && shift || shift 2;; --force) FORCE=1; shift;; --help|-h) do_help; exit 0;; + # Skip, auto-stuff compatibility + --build=*|--host=*|--infodir=*|--datadir=*|--sysconfdir=*|--localstatedir=*) shift;; + --build|--host|--infodir|--datadir|--sysconfdir|--localstatedir) shift 2;; *) printf "Unrecognised option: '${1}'\n"; do_help; exit 1;; esac done