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

[Paul D. Smith]

Update of bug #63243 (project make):

                  Status:                    None => Fixed                  
             Open/Closed:                    Open => Closed                 
           Fixed Release:                    None => SCM                    
           Triage Status:                    None => Small Effort           

    _______________________________________________________

Follow-up Comment #2:

Thanks Dmitry; applied.


    _______________________________________________________

Reply to this item at:

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

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