diff: build `.debug' grade

[Fergus Henderson]

configure.in:
	Include a `.debug' grade in the set of grades that get installed
	by default.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.128
diff -u -r1.128 configure.in
--- configure.in	1998/05/31 03:58:55	1.128
+++ configure.in	1998/06/01 13:16:40
@@ -1364,6 +1364,9 @@
 	fi
 fi
 
+# add a `.debug' grade
+LIBGRADES="$LIBGRADES $DEFAULT_GRADE.gc.debug"
+
 # remove GRADE from LIBGRADES
 LIBGRADES=` echo " $LIBGRADES " | sed "s/ $GRADE / /" `
 MERCURY_MSG("using \`LIBGRADES=$LIBGRADES' as the set of library grades to install")

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