Re: Permission Denied error while killing Gmake on Windows

[Eli Zaretskii]

> From: Anuj Shroff <address@hidden>
> CC: "address@hidden" <address@hidden>,
>         Eric DeCosta
>       <address@hidden>,
>         Troy Runkel <address@hidden>
> Date: Tue, 15 Mar 2016 15:39:00 +0000
> 
> While experiment a bit more with this we found an interesting workaround 
> which seems to have given some promising results.
> 
> We tweaked the gmake source code so that when we are deleting targets while 
> handling fatal signals (like SIGINT or SIGTERM), if we encounter an error we 
> sleep for 3 seconds and retry.
> 
> In our case we are getting the Permission Denied error while deleting the obj 
> files. When we used this new gmake, it gave us good results and we are no 
> longer seeing the "deleting files: Permission Denied" error. Also the corrupt 
> obj files (due to the interrupt) are cleaned up properly.
> 
> We would like to know your opinion on this.

3 seconds of wait is way too long, IMO.