[m-rev.] for review: prevent interleaved errors with mmc --make

[Peter Wang]

On Fri, 11 May 2012 12:51:36 +1000 (EST), Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> Looks ok otherwise.

Committed, thanks.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------