[m-rev.] trivial diff: update mercury_config script

[Julien Fischer]

scripts/mercury_config.in:
 	Create a dummy version of erlang_conf.hrl.in when
 	re-configuring.

Julien.

Index: scripts/mercury_config.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/mercury_config.in,v
retrieving revision 1.7
diff -u -r1.7 mercury_config.in
--- scripts/mercury_config.in	20 Feb 2008 03:09:59 -0000	1.7
+++ scripts/mercury_config.in	3 Nov 2008 12:31:08 -0000
@@ -141,6 +141,7 @@
  touch $TMPDIR/compiler/COMP_FLAGS.in || exit 1
  mkdir $TMPDIR/library || exit 1
  touch $TMPDIR/library/LIB_FLAGS.in || exit 1
+touch $TMPDIR/library/erlang_conf.hrl.in || exit 1
  mkdir $TMPDIR/mdbcomp || exit 1
  touch $TMPDIR/mdbcomp/MDBCOMP_FLAGS.in || exit 1
  mkdir $TMPDIR/browser || exit 1

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