[bug #63243] Fix a race between sigterm and make writing its error message.

[Dmitry Goncharov]

Follow-up Comment #1, bug #63243 (project make):

Tests in temp_stdin and output-sync send sigterm to kill make. There is a race
here between sigterm and make writing to the log file. This races causes the
tests to fail occasionally.
The original bug report and a patch provided by Frank Heckenbach
here
https://lists.gnu.org/archive/html/bug-make/2022-10/msg00150.html.


    _______________________________________________________

Reply to this item at:

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

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