trivial diff: Mmakefile: fix minor bug with profiling grades

[Fergus Henderson]

Mmakefile:
	Fix a bug that caused problems when building the compiler in a
	grade with profiling enabled: it was using an (unset) shell
	variable $$grade when it should have been using the Make variable
	$(GRADE).

Index: Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/mercury/Mmakefile,v
retrieving revision 1.28
diff -u -r1.28 Mmakefile
--- Mmakefile	1998/11/06 11:09:32	1.28
+++ Mmakefile	1998/11/09 13:06:48
@@ -113,7 +113,7 @@
 
 .PHONY: boehm_gc
 boehm_gc: scripts
-	case "$$grade" in \
+	case $(GRADE) in \
 	    *.prof*) \
 		prof=_prof \
 		;; \
@@ -287,7 +287,7 @@
 
 .PHONY: install_boehm_gc
 install_boehm_gc: boehm_gc
-	case "$$grade" in \
+	case $(GRADE) in \
 	    *.prof*) \
 		prof=_prof \
 		;; \

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