[m-rev.] for post-commit review: configure.in improvements

[Julien Fischer]

On Tue, 7 Dec 2010, Zoltan Somogyi wrote:

> configure.in:
> 	When --enable-trail-grades is specified, ensure that the best
> 	LLDS debug grade with .trseg is also installed.
>
> 	Add the new option --disable-old-prof-grades, which disables
> 	the non-deep profiling grades (such as .prof and .memprof).

The new option should be listed in .INSTALL.in as well.

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