[m-rev.] for review: bootcheck using `mmc --make'

[Simon Taylor]

On 20-Jun-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 5
> Branches: main
> 
> Allow tools/bootcheck to be run using `mmake --use-mmc-make'.
> The tests don't work yet.

The following change was also needed.

Simon.


Estimated hours taken: 0.1
Branches: main

Mmakefile:
	Add a rule to make sure Mercury.options exists.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.80
diff -u -u -r1.80 Mmakefile
--- Mmakefile	22 Jun 2002 19:15:49 -0000	1.80
+++ Mmakefile	23 Jun 2002 11:08:23 -0000
@@ -231,8 +231,10 @@
 		exit 1; \
 	fi
 
-Mmake.common: Mmake.common.in config.status
+Mmake.common: Mercury.options Mmake.common.in config.status
 	./config.status
+
+Mercury.options:
 	touch Mercury.options
 
 README: .README.in VERSION
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------