On 11/9/22 21:36, Paul D. Smith wrote:
Follow-up Comment #18, bug #63307 (project make):
I can see an argument for both sides ("give up immediately" and "run to
completion"). Most likely it's one of those things where different people
legitimately want different behaviors.
But I think that
On Sat, Nov 5, 2022 at 1:34 PM Dmitry Goncharov
wrote:
> Follow-up Comment #6, bug #63307 (project make):
>
> > If SIGIGN was ignored before make was started though, it should remain
> ignored, even for make's children, see also
>
