diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ PREFIX=/usr/local # option parsing for option; do - if [ "${option%=*}" = '--prefix' ] ; then + if [ "${option%%=*}" = '--prefix' ] ; then PREFIX="${option#*=}" fi done |