diff options
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |