Messages in this thread | | | From | Linus Torvalds <> | Date | Sat, 8 Feb 2020 10:45:30 -0800 | Subject | Re: Applying pipe fix this merge window? |
| |
On Sat, Feb 8, 2020 at 12:36 AM Josh Triplett <josh@joshtriplett.org> wrote: > > Based on that, would you consider merging the pipe fix patch in the > current merge window, giving people plenty of time to hammer on it > further?
Sure, I'll apply it and see if anybody hollers.
Worst case, we'll revert if there are too many people who have the buggy version of make and can't easily upgrade. But even then it might not be that noticeable, since the make jobserver problem ends up benign fairly timing-specific too. I may have just been very unlucky in hitting it back when..
Linus
| |