[m-rev.] diff: fix typo in configure script

[Julien Fischer]

Branches: main, 11.07

Fix a typo in the configure script.

configure.in:
 	When adding trailing grades, don't add the grade
 	BEST_LLDS_BASE_GRADE.debug.gc since (1) this is not
 	trailing grade and (2) the name is not canonical (and
 	in fact duplicates a grade added elsewhere.)

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.599
diff -u -r1.599 configure.in
--- configure.in	14 Oct 2011 00:25:06 -0000	1.599
+++ configure.in	20 Oct 2011 14:03:11 -0000
@@ -3636,7 +3636,7 @@
      # default as they are less useful.
      LIBGRADES="$LIBGRADES $DEFAULT_BASE_GRADE.gc.trseg"
      if test $DEFAULT_BASE_GRADE = hlc; then
-        LIBGRADES="$LIBGRADES $BEST_LLDS_BASE_GRADE.debug.gc"
+        LIBGRADES="$LIBGRADES $BEST_LLDS_BASE_GRADE.gc.debug.trseg"
      else
          # $DEFAULT_BASE_GRADE must be an LLDS grade
          LIBGRADES="$LIBGRADES $DEFAULT_BASE_GRADE.gc.debug.trseg hlc.gc.trseg"


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------