diff --git a/configure b/configure index 70a3c3d8..54d55cba 100755 --- a/configure +++ b/configure @@ -8,7 +8,7 @@ PREFIX=/usr/local # option parsing for option; do - if [ "${option%=*}" = '--prefix' ] ; then + if [ "${option%%=*}" = '--prefix' ] ; then PREFIX="${option#*=}" fi done