[m-rev.] for review: fix mmake -f

[Julien Fischer]

On Thu, 11 Aug 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 2
>
> Fix the -f mmake option.  Previously `mmake install' would ignore this option
> when compiling different grades in the temporary directory.
>
> scripts/mmake.in:
> 	Export a MMAKEFILE variable which stores the Mmakefile being used.
> 	This causes child calls to mmake to use the same Mmakefile if no
> 	-f option is given to the child calls.
>
That's fine.

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