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