Re: parallel check output changes?

[Mike Stump]

On Oct 4, 2014, at 3:32 AM, Richard Sandiford <rdsandif...@googlemail.com> 
wrote:
> we should just fix those tests so that the name is unique.

Yes.  This is good in all sorts of ways.