On Nov 12 2021, Pádraig Brady wrote: > I've never seen this, and I can't see the race.
There is an obvious race: if env needs more than .1 seconds to set the SIGINT handler. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
