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

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Oct 21 01:08:13 AEDT 2011

Branches: main, 11.07

Fix a typo in the configure script.

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


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.
      if test $DEFAULT_BASE_GRADE = hlc; then
          # $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

More information about the reviews mailing list