On Mon, Mar 07, 2016 at 11:48:40AM +0000, Santiago Vila wrote: > The following trivial patch disables parallel building. I have not tested it > but I have the strong feeling that this should fix this issue.
Unfortunately, it was just a feeling. I actually tested the patch and it didn't work on the machine where it usually fails. So this needs to be investigated. Thanks.
