[m-rev.] for review: --mem-usage-report

[Julien Fischer]

On Tue, 4 Dec 2007, Zoltan Somogyi wrote:

> runtime/mercury_wrapper.c:
> 	Make the --mem-usage-report option work, but tweak it slightly
>
> 	- to report more information, and
> 	- to allow (and require) the user to provide the prefix for the output
> 	  file.
>
> doc/user_guide.texi:
> 	Document the user-visible changes in the option.

That's fine.

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