> I'm lowering the severity of this bug for now. Hi. I have taken a look at the build logs and I have to agree that downgrading is the only sensible thing to do for now.
I naively thought that this would be easy to reproduce, but the randomness does not happen in each autobuilder. Instead, the failure happens always in some of my autobuilders and never in others. It would be natural to think that there is some misconfiguration in the autobuilders on which this fails, but all of them are really configured in the same way, so I don't really know what's happening here. Maybe this is some Makefile bug related to filesystem ordering, or maybe not, but since it's me who have the machine on which it fails, it is fair that I investigate a little bit more before asking you to do so. Thanks.
