On Jan 30, 2020, at 11:39, David Kastrup <[email protected]> wrote: > That's not a new development, so there is no point in me to refrain from > cherry-picking further material: the last version of the branch I > checked was from early December and it failed in the same manner. > Compilation of CPU_COUNT=9 make -j9 doc ends with
I did a bunch of build-related stuff in Oct-Nov, but this doesn't trigger any specific memories. After I eat lunch, I'll try to reproduce the problem and see if I can spot anything helpful. — Dan
