On 9/10/20 11:56 am, Vieri wrote:
>> As a workaround, try sequential build ("make" instead of "make -j...")
>
> I removed -j, but I'm still getting a similar error:
>
Not just similar. The same one.
FYI, some make do parallel by default. I advise explicitly using -j1 for
the workaround build. That ensures single-sequence build.
Amos