diff options
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index c45c42a..b8d05df 100755 --- a/configure +++ b/configure @@ -191,9 +191,9 @@ for arg ; do --enable-absolute-paths|--enable-absolute-paths=yes) abspath=true ;; --disable-absolute-paths|--enable-absolute-paths=no) abspath=false ;; --enable-*|--disable-*|--with-*|--without-*|--*dir=*) ;; + --with-tmpdir=*) tmpdir=${arg#*=} ;; --host=*|--target=*) target=${arg#*=} ;; --build=*) build=${arg#*=} ;; - --with-tmpdir=*) tmpdir=${arg#*=} ;; -* ) echo "$0: unknown option $arg" ;; *=*) eval "$arg" ;; *) target=$arg ;; |