[m-rev.] diff: make sure that configure creates the library Mmakefile

[Julien Fischer]

James' recent change that placed library/Mmakefile under the control
of configure left out the following.

configure.in:
	Have the configure script create library/Mmakefile.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.384
diff -u -r1.384 configure.in
--- configure.in	20 Jan 2004 23:02:16 -0000	1.384
+++ configure.in	5 Feb 2004 04:57:04 -0000
@@ -3701,6 +3701,7 @@
 scripts/mkfifo_using_mknod bindist/bindist.INSTALL bindist/bindist.Makefile
 scripts/mercury_config scripts/Mercury.config scripts/Mercury.config.bootstrap
 tools/lmc tools/dotime runtime/mercury_dotnet.cs java/runtime/Constants.java
+library/Mmakefile
 ,
 [
 # Only do this when compiling the source, not when reconfiguring

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------