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