[M3devel] Coverage option

[Tony Hosking]

On second thought, perhaps I mis-spoke.  I was thinking of profiling.
I'm not sure when coverage instrumentation last worked.

On Jul 24, 2011, at 7:42 PM, Tony Hosking wrote:

> It used to work and was part of the config scripts.  But I am concerned that Jay may have removed that option in the latest config scripts.
> 
> On Jul 24, 2011, at 7:30 PM, Peter McKinna wrote:
> 
>> How do you get the -Z option to work? 
>> 
>> It doesnt seem to get through to the front end to get the coverage instrumentation to be invoked.
>> 
>> Regards Peter.
>