[bug #67687] make doesn't return jobserver tokens as a client on SIGINT

Follow-up Comment #2, bug #67687 (group make):

https://www.gnu.org/software/make/manual/html_node/POSIX-Jobserver.html says:
There are various error conditions you must consider to ensure your
implementation is robust:
"""
    If you have a command-line argument controlling the parallel operation of
your tool, consider whether your tool should detect situations where both the
jobserver and the command-line argument are specified, and how it should
react.
[...]
    Your tool should be sure to write back the tokens it read, even under
error conditions. This includes not only errors in your tool but also outside
influences such as interrupts (SIGINT), etc. You may want to install signal
handlers to manage this write-back. 
"""


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?67687>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQQk97aszIMMAvLLwm6qLAuaBUf3TgUCaRDJVQAKCRCqLAuaBUf3
TlIpAQDdSE8s8UhhjqMFwTJqh7ngJeWrbApUSuL1gLtOPXarvgD+JHr3CmfHaJHn
pId61u+UW6l4R4y2Gwp7eeEfJI4qtwg=
=31ex
-----END PGP SIGNATURE-----