2004-06-22 Todd Berman <tberman@off.net>

        * configure: Patch from Mariano Su��rez-Alvarez
        <msuarezalvarez@arnet.com.ar> to make configure accept jhbuild style
        /prefix /usr options, and to continue past unknown options. Currently
        this patch is a bit spammy with multiple unknown options, anyone
        who is interested is welcome to fix this.

svn path=/trunk/mcs/; revision=30093

1 files changed, 41 insertions, 23 deletions

diff --git a/mcs/configure b/mcs/configure
index 48eb5b5483c..3abe43bad10 100755
--- a/mcs/configure
+++ b/mcs/configure
@@ -12,29 +12,47 @@ help()
 prefix=/usr/local
 profile=default
 
-for a in $*; do
-	case $a in
-		--help)
-			help
-			exit 0
-			;;
-		--prefix=*)
-			prefix=`echo $a | sed 's/--prefix=//'`;
-			;;
-		--profile=*)
-			profile=`echo $a | sed 's/--profile=//'`;
-			if test ! -f build/profiles/$profile.make; then
-				echo ""
-				echo Error, profile $profile does not exist
-				help
-				exit 1;
-			fi
-			;;
-		*)
-			echo Unknown option: $a
-			help
-			exit 1
-	esac
+while [ $# -ne 0 ]; do
+  case $1 in
+    --help)  
+    	help
+    	exit 0
+	;;
+    --prefix=*)
+    	prefix=`echo $1 | sed 's/--prefix=//'`;
+	shift
+	;;
+    --prefix)
+        shift
+	prefix="$1"
+	shift
+	;;
+    --profile=*)
+	profile=`echo $1 | sed 's/--profile=//'`
+	shift
+	if test ! -f build/profiles/$profile.make; then
+	    echo ""
+	    echo Error, profile $profile does not exist
+	    help
+	    exit 1;
+	fi
+	;;
+    --profile)
+	shift
+	profile="$1"
+	shift
+	if test ! -f build/profiles/$profile.make; then
+	    echo ""
+	    echo Error, profile $profile does not exist
+	    help
+	    exit 1;
+	fi
+	;;
+    *)
+	echo Unknown option: $1
+	help
+	shift
+  esac
 done
 
 echo "prefix=$prefix" > build/config.make