[m-rev.] for review: change behaviour of bootcheck --use-mmc-make

[Julien Fischer]

On Wed, 11 Jan 2006, Peter Wang wrote:

> > The intention here should be to get the nightly builds on at least some
> > of our machines using mmc --make for the entire build/install/test
> > process while still having mmake work on the others.  Whatever way
> > this can be made to work should be fine.
>
> Hopefully you should be able to just add --use-mmc-make to the start of
> `mmake' and `bootcheck' commands in the test_mercury script now.
>
I'll try that out.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------