https://sourceware.org/bugzilla/show_bug.cgi?id=27482
--- Comment #9 from Martin Ritter <martin.ritter at lmu dot de> --- Thanks for the quick fix. It does work for me now. And yes, I admit using -j72 on a SSD is a bit overkill. But it did fail consistently each time before and worked smoothly now. Cheers, Martin -- You are receiving this mail because: You are on the CC list for the bug.