X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=mcs%2Fconfigure;h=3abe43bad101c284924d9c2f3d0fd982ea792fc5;hb=c3cbc503b920121ac7a73d94460ea8abc40a20dc;hp=48eb5b5483c795904bb2befdf2307000b73de069;hpb=ef045b18a7582b582ac696685ff9a75bd8794765;p=mono.git

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