[m-dev.] diff: support setting MGNUCFLAGS in runtests

[Fergus Henderson]

Estimated hours taken: 0.25

tests/handle_options:
	Add a new `-m' / `--mgnucflags' option, for setting EXTRA_MGNUCFLAGS.

Workspace: /home/mercury/public/test_mercury/test_dirs/quicksilver
Index: tests/handle_options
===================================================================
RCS file: /home/staff/zs/imp/tests/handle_options,v
retrieving revision 1.5
diff -u -r1.5 handle_options
--- handle_options	1999/10/03 08:20:40	1.5
+++ handle_options	1999/10/05 21:08:21
@@ -3,6 +3,8 @@
 Options:
 	-f <mcflags>, --flags <mcflags>
 		Pass EXTRA_MCFLAGS=<mcflags> as an option to \`mmake check'.
+	-m <mgnucflags>, --mgnucflags <mgnucflags>
+		Pass EXTRA_MGNUCFLAGS=<mgnucflags> as an option to \`mmake check'.
 	-c <cflags>, --cflags <cflags>
 		Pass EXTRA_CFLAGS=<cflags> as an option to \`mmake check'.
 	-l <mlflags>, --mlflags <mlflags>
@@ -15,16 +17,29 @@
 
 jfactor=""
 flagsopt=""
+mgnucflagsopt=""
 cflagsopt=""
 mlflagsopt=""
 gradeopt=""
 fflag=""
+mflag=""
 cflag=""
+lflag=""
 gflag=""
 
 while [ $# -gt 0 ]; do
 	case "$1" in
 
+	-f|--flags)
+		fflag="-f '$2'"
+		flagsopt="EXTRA_MCFLAGS='$2'"
+		shift ;;
+
+	-m|--mgnucflags)
+		mflag="-m '$2'"
+		mgnucflagsopt="EXTRA_MGNUCFLAGS='$2'"
+		shift ;;
+
 	-c|--cflags)
 		cflag="-c '$2'"
 		cflagsopt="EXTRA_CFLAGS='$2'"
@@ -35,11 +50,6 @@
 		mlflagsopt="EXTRA_MLFLAGS='$2'"
 		shift ;;
 
-	-f|--flags)
-		fflag="-f '$2'"
-		flagsopt="EXTRA_MCFLAGS='$2'"
-		shift ;;
-
 	-g|--grade)
 		gflag="-g $2"
 		gradeopt="GRADE=$2"
@@ -70,5 +80,5 @@
 	exit 1
 fi
 
-mmakeopts="$jfactor $flagsopt $cflagsopt $mlflagsopt $gradeopt"
-runtestopts="$jfactor $cflag $lflag $fflag $gflag"
+mmakeopts="$jfactor $flagsopt $mgnucflagsopt $cflagsopt $mlflagsopt $gradeopt"
+runtestopts="$jfactor $mflag $cflag $lflag $fflag $gflag"

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------