Subject: Re: make: adding .KILL ?
To: Christos Zoulas <email@example.com>
From: Simon J. Gerraty <firstname.lastname@example.org>
Date: 11/01/2006 16:16:31
>>Anyway, what do you think of the following idea (could likely use
>I don't like the SIGKILL and I don't understand the reason for the sleep()s
I don't like it much either, only retained it for compatability.
The sleeps were to give the murdered make a chance to say good by.
I'd be quite happy for the behavior to just SIGINT or just SIGTERM
in the case of .KILL