Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

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
  • Loading branch information...
commit eb6cb51857a2e2ec9dbf9647ca3bd07b34ad5d88 1 parent ccd3ed6
Todd Berman authored
Showing with 49 additions and 23 deletions.
  1. +8 −0 mcs/ChangeLog
  2. +41 −23 mcs/configure
View
8 mcs/ChangeLog
@@ -1,3 +1,11 @@
+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.
+
2004-06-14 Raja R Harinath <rharinath@novell.com>
* Makefile (all-profiles, clean-profiles): Simplify slightly.
View
64 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
Please sign in to comment.
Something went wrong with that request. Please try again.