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.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
