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