[m-rev.] diff: mtc

[Julien Fischer]

On Tue, 15 Mar 2005, Zoltan Somogyi wrote:

> scripts/mtc:
> 	Add this new script (Mercury trace count, by analogy with mdb),
> 	which simply invokes the command represented by the rest of the
> 	command line after setting up MERCURY_OPTIONS to ask for the trace
> 	counts to be generated.
>
> scripts/Mmakefile:
> 	Add the new script to the list of scripts.
>
> scripts/mdb.in:
> 	Fix a grammar error.
>
That looks 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
--------------------------------------------------------------------------