Follow-up Comment #4, bug #41781 (group make):
Definitely I don't anticipate making any change in error handling the
default.
The idea I had 10yrs ago is still my best idea (perhaps with an option to
allow "immediate kill" as suggested by Patatti) but it's gotten even more
complex since then: that solution works well for POSIX systems which use a
pipe to manage the jobserver, but on other systems like Windows we simply use
a counting semaphore so there's no facility there to notify the other
instances of make by using different tokens in the jobserver pipe.
We'd need to create some separate, different communication channel for those
systems.
This has been hiding behind work I've been trying to do to clean up the way
make dies, which is currently not reliable because it calls a complex,
non-signal-safe method in a signal handler. Unfortunately changing THAT
requires reworking how we handle signals in general, most specifically as
relates to the jobserver facility. Sigh.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?41781>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
