[m-rev.] diff: don't install .tr.stseg with --enable-stseg-grades
Julien Fischer
juliensf at csse.unimelb.edu.au
Mon Sep 10 23:46:25 AEST 2012
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
--------------------------------------------------------------------------
More information about the reviews
mailing list