[m-rev.] diff: don't install .tr.stseg with --enable-stseg-grades

[Julien Fischer]

Branches: main, 12.08

configure.in:
 	Install BEST_LLDS_BASE_GRADE.gc.trseg.stseg instead of
 	BEST_LLDS_BASE_GRADE.gc.tr.stseg.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.616
diff -u -r1.616 configure.in
--- configure.in	14 Jun 2012 03:03:15 -0000	1.616
+++ configure.in	10 Sep 2012 13:43:33 -0000
@@ -3739,7 +3739,7 @@
      LIBGRADES="$LIBGRADES $BEST_LLDS_BASE_GRADE.gc.stseg"
      if test "$enable_trail_grades" = "yes"
      then
-        LIBGRADES="$LIBGRADES $BEST_LLDS_BASE_GRADE.gc.tr.stseg"
+        LIBGRADES="$LIBGRADES $BEST_LLDS_BASE_GRADE.gc.trseg.stseg"
      fi

      if test "$enable_debug_grades" = "yes"

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