[m-rev.] For review: New option for mmake to capture make process

[Peter Ross]

On 8/1/07, Eric Taucher <gluon at earthlink.net> wrote:
>
> A new option to capture all of the makefiles and output created by mmake.
>
This diff isn't needed.

We already have the -s flag to mmake which saves the Makefile into
Mmake.makefile, you can then create a simple script which renames the
makefile to something you need.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------