Emanuel Haupt <eha...@freebsd.org> wrote: > On 12/7/20 1:44 PM, Fazal Majid wrote: > >> On Dec 7, 2020, at 15:37, Chet Ramey <chet.ra...@case.edu> wrote: > >> > >> Thanks for the report. I've never actually encountered this error. > >> Just lucky, I guess. > > > > It’s a race condition. The machine I run it on has 6 cores and HT, > > so I run it with a `make -j 12`, and even then, it’s not > > consistently reproducible. > > Sure. I run make -j 4 at a minimum, make -j 8 sometimes, and I've > never seen it. Not very reproducible.
Shortly after updating the FreeBSD port I received quite a few reports about this. Although I wasn't able to reproduce the error myself it appears that gentoo solved the race condition with this patch: https://gitweb.gentoo.org/repo/gentoo.git/tree/app-shells/bash/files/bash-5.1-parallel_make.patch?id=4c2ebbf4b8bc660beb98cc2d845c73375d6e4f50 It's been confirmed to have solved the issue: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=251755 Emanuel
