> Date: Sun, 18 Jun 2017 17:42:51 +0300 > From: Eli Zaretskii <e...@gnu.org> > Cc: alex...@gmail.com, bug-make@gnu.org > > > I think the problem is that reap_children() is called after > > delete_child_targets, so the child jobs can still run > > while make is trying to delete. > > > > Maybe delete_targets should become part of reap_children (it cannot be > > called after reap, because at this > > point you don't have the target info anymore). > > > > What do you say? > > I will let Paul to chime in and comment about that. Failing that, I > will push your changes after trying them on my box here.
Paul, could you please comment on Orgad's proposal above? TIA _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
