[m-rev.] Re: for review: change --enable-deep-profiler behaviour

[Peter Wang]

On 2007-12-05, Peter Wang <novalazy at gmail.com> wrote:
> [Turns out mdprof was already installed into $prefix/bin anyway.]
> 
> 
> Estimated hours taken: 2
> Branches: main
> 
> Change how the configure script treats the `--enable-deep-profiler' option.
> 

Committed.

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