[m-rev.] for post-commit review: fix problems found during bechmarking

[Julien Fischer]

On Thu, 27 Jan 2011, Zoltan Somogyi wrote:

> Fix some problems identified during benchmarking for the overlap paper.
>
> compiler/options.m:
> 	Add two new options
>
> 		--report-cmd-line-args
> 		--report-cmd-line-args-in-doterr
>
> 	that would have been really useful to debug some problems.
>
> doc/user_guide.texi:
> 	Document the new options.
>
> compiler/mercury_compile.m:
> 	Implement the new options.
>
> mdbcomp/feedback.m:
> 	When reporting a version number that differs from the expected,
> 	report the expected version number.
>
> runtime/mercury_wrapper.c:
> 	Fix a bug that made an option unreachable from MERCURY_OPTIONS.

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