On 2013-01-12, Eli Zaretskii wrote: >> Date: Fri, 11 Jan 2013 17:57:28 -0800 >> From: David Boyce <d...@boyski.com> >> Cc: help-make <help-m...@gnu.org>, bug-make <bug-make@gnu.org> >> >> % 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 Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
