[m-rev.] diff: don't include .enable_lib_grades in source dist

[Julien Fischer]

Fix a problem with the source distribution.

tools/test_mercury:
 	Don't include the .enable_lib_grades file in the soure distribution.
 	test_mercury uses this mechanism to select the grade set where it
 	differs from the default set; the problem hasn't shown up before because
 	previously the rotd host has always used the default set.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.365
diff -u -r1.365 test_mercury
--- test_mercury	12 Jan 2010 20:46:17 -0000	1.365
+++ test_mercury	14 Jan 2010 00:40:28 -0000
@@ -837,6 +837,7 @@
      $MMAKE realclean MMAKEFLAGS=$PARALLEL) &&
      : > Mmake.params &&
      rm -f so_locations &&
+    rm -f .enable_lib_grades &&
      autoconf &&
      mercury_cv_low_tag_bits=2 \
      mercury_cv_bits_per_word=32 \

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