diff --git a/configure b/configure index f152cf9..1efe9cc 100755 --- a/configure +++ b/configure @@ -103,6 +103,7 @@ if test -z "$source_path" -o "$source_path" = "." ; then fi for opt do + eval opt=$opt case "$opt" in --prefix=*) prefix=`echo $opt | cut -d '=' -f 2` ;;