diff options
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -347,6 +347,7 @@ while [ $# -ne 0 ]; do # Skip, auto-stuff compatibility --build=*|--host=*|--infodir=*|--datadir=*|--sysconfdir=*|--localstatedir=*) shift;; --build|--host|--infodir|--datadir|--sysconfdir|--localstatedir) shift 2;; + --enable-shared|--disable-shared|--enable-static|--disable-static) shift;; *) printf "Unrecognised option: '${1}'\n"; do_help; exit 1;; esac done |