[m-rev.] diff: fix libgrades bug with debug grade

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

configure.in:
	Fix a bug in my recent changes to the computation of libgrades:
	the debugging grade should include `.gc'.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.324
diff -u -d -r1.324 configure.in
--- configure.in	10 Oct 2002 22:31:06 -0000	1.324
+++ configure.in	14 Oct 2002 07:58:12 -0000
@@ -2240,7 +2240,7 @@
 fi
 
 # add `.debug' (--debug) grades
-LIBGRADES="$LIBGRADES $BEST_DEBUG_BASE_GRADE.tr.debug"
+LIBGRADES="$LIBGRADES $BEST_DEBUG_BASE_GRADE.gc.tr.debug"
 
 # Add the .par (thread-safe) grade
 if test "$enable_par_grades" = yes; then

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------