On Fri, Sep 12, 2014 at 04:36:05PM +0000, VandeVondele Joost wrote:
>
>
> >> Regtested on x86_64-linux, ok for trunk?
> >
> >Oh, forgot to say, PR56408 isn't fixed by this patch, but given the
> >higher granularity (10 tests instead of 1) we don't happen to trigger it
> >right now.
>
> which means that any commit to that dir could trigger it, right ?
Sure, if you are unlucky.
I mean, the bug needs to be fixed, just IMHO it doesn't need to be fixed
immediately or as precondition of this patch, the bug existed there for
a year or two, though with the patch might be more likely to be triggered.
Jakub
