On 2013-01-12, Eli Zaretskii wrote:

>> Date: Fri, 11 Jan 2013 17:57:28 -0800
>> From: David Boyce <[email protected]>
>> Cc: help-make <[email protected]>, bug-make <[email protected]>
>> 
>> % make -j2
>> sleep 3
>> while echo ok; do sleep 1; done
>> ok
>> ok
>> ok
>> ok
>> exit 1
>> stopping make!
>> make: *** [job2] Terminated
>> make: *** [job1] Terminated
>> Terminated
>
> Which is dangerous, since when Make is terminated, it doesn't do the
> cleanup, like deleting incomplete products, which could produce
> strange effects the next time you run it.

I suggest to enable .DELETE_ON_ERROR option in such case...

-- 
Best regards!

_______________________________________________
Bug-make mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to