diff -r 9409fe04bb7c -r 0ef8c2469c8f configure --- a/configure Thu Jul 14 17:59:33 2011 +0200 +++ b/configure Tue Aug 09 22:10:57 2011 +0200 @@ -348,6 +348,8 @@ --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