[m-rev.] for review: document trace count tools

[Ian MacLarty]

On Wed, Sep 13, 2006 at 04:48:33PM +1000, Julien Fischer wrote:
> 
> On Wed, 13 Sep 2006, Ian MacLarty wrote:
> 
> >On Wed, Sep 13, 2006 at 03:02:55PM +1000, Ralph Becket wrote:
> >>Ian MacLarty, Wednesday, 13 September 2006:
> >>>Yup.  The file has the form .mercury_trace_counts<unique-suffix>
> >>
> >>Okay.  And that's fine on Windows machines?
> >
> >I just tested on windows and no it doesn't work.  You get a file called
> >".mercury_trace_counts.." which is unreadable by Windows (because of the
> >dots I think).
> >
> 
> We'll sort out this being broken on Windows after the release.
> 

I've found the problem and am bootchecking a fix.  The problem was that
":" was being inserted into the generated file name (which windows
doesn't like).

This fix can go into 13.1 if you can't wait for the bootcheck.

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