Paul Eggert <[email protected]> wrote: > On 02/09/2012 01:35 AM, Aki Helin wrote: > > A date just got printed without issues even though > > it was matching with Grep that had been patched to crash if it tries to > > exit with 0 from the bottom of main(). > > Sounds like the bug's outside of 'grep', then.
Now it's certain. Another tool doing mainly a bit of IO eventually triggered this on a Phenom II X6. Seems like a race or something similar in Bash. Sorry about the misdiagnosis. -- Aki Helin
