> From: Oleksandr Gavenko <gaven...@gmail.com> > Date: Sat, 12 Jan 2013 11:17:17 +0200 > Cc: bug-make@gnu.org, help-m...@gnu.org > > 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...
How can that help, if Make itself is killed by a signal? _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make