trivial diff: fix Mmake GRADE bug

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Aug 5 17:33:17 AEST 1998


scripts/Mmake.vars.in:
	Fix a bug introduced in my previous change:
	ALL_GRADEFLAGS needs to include GRADEFLAGS.

Index: scripts/Mmake.vars.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmake.vars.in,v
retrieving revision 1.20
diff -u -r1.20 Mmake.vars.in
--- Mmake.vars.in	1998/08/04 14:06:06	1.20
+++ Mmake.vars.in	1998/08/05 07:31:56
@@ -24,7 +24,7 @@
 DEFAULT_GRADE	= $(MERCURY_DEFAULT_GRADE)
 GRADE		= $(DEFAULT_GRADE)
 
-ALL_GRADEFLAGS  = $(TARGET_GRADEFLAGS) $(EXTRA_GRADEFLAGS)
+ALL_GRADEFLAGS  = $(GRADEFLAGS) $(TARGET_GRADEFLAGS) $(EXTRA_GRADEFLAGS)
 GRADEFLAGS	= --grade $(GRADE)
 EXTRA_GRADEFLAGS =
 

-- 
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.



More information about the developers mailing list