Re: Unlink failure on abort

[Paul Smith]

On Tue, 2017-06-20 at 18:20 +0300, Eli Zaretskii wrote:
> > Date: Sun, 18 Jun 2017 17:42:51 +0300
> > From: Eli Zaretskii <address@hidden>
> > Cc: address@hidden, address@hidden
> > > 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?

Conceptually I don't have any problems with the idea. I'd need to dig
into the code more to be sure of any side-effects, and/or examine any
posted solution carefully of course.