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

Peter Wang novalazy at gmail.com
Tue Dec 18 15:22:57 AEDT 2007


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



More information about the reviews mailing list