RE: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread thutt
Anuj Shroff writes: > Hello Mr Hutt > > The reproduction steps you have mentioned for the issue are precisely what > we are doing. > > I am monitoring killing gmake using ProcessExplorer. I can see that > the processes are killed as soon as we issue CTRL_C. However, it is > a bit difficult

Re: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread Eli Zaretskii
> From: Eric DeCosta > CC: "bug-make@gnu.org" , > Troy Runkel > > Date: Tue, 15 Mar 2016 17:48:59 + > > Sure, easy enough loop around looking at the return value from unlink, > sleeping for 0.1 sec and trying again if unlink fails. There still should be > some maximum amount

Re: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread Paul Smith
On Tue, 2016-03-15 at 17:48 +, Eric DeCosta wrote: > Sure, easy enough loop around looking at the return value from > unlink, sleeping for 0.1 sec and trying again if unlink fails. There > still should be some maximum amount of time to try before giving up. > Do you think 3 seconds is too lon

RE: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread Eric DeCosta
; From: Eli Zaretskii [mailto:e...@gnu.org] > Sent: Tuesday, March 15, 2016 1:31 PM > To: Anuj Shroff > Cc: bug-make@gnu.org; Eric DeCosta ; Troy > Runkel > Subject: Re: Permission Denied error while killing Gmake on Windows > > > From: Anuj Shroff > > CC: "bug

Re: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread Eli Zaretskii
> From: Anuj Shroff > CC: "bug-make@gnu.org" , > Eric DeCosta > , > Troy Runkel > Date: Tue, 15 Mar 2016 15:39:00 + > > While experiment a bit more with this we found an interesting workaround > which seems to have given some promising results. > > We tweaked the gmak

RE: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread Anuj Shroff
; Troy Runkel ; th...@vmware.com Subject: RE: Permission Denied error while killing Gmake on Windows Anuj Shroff writes: > Hello Eli > > Please find a small snippet of process name from ProcessExplorer > > attached. It shows the compiler names and the process name. > > W

RE: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread thutt
Anuj Shroff writes: > Hello Eli > > Please find a small snippet of process name from ProcessExplorer > attached. It shows the compiler names and the process name. > > While experiment a bit more with this we found an interesting > workaround which seems to have given some promising results.

RE: Permission Denied error while killing Gmake on Windows

2016-03-15 Thread Anuj Shroff
ebruary 25, 2016 11:53 AM To: Anuj Shroff Cc: bug-make@gnu.org; Eric DeCosta ; Troy Runkel Subject: Re: Permission Denied error while killing Gmake on Windows > From: Anuj Shroff > Date: Wed, 24 Feb 2016 21:11:02 + > Cc: Eric DeCosta , > Troy Runkel > > Our aim

Re: Permission Denied error while killing Gmake on Windows

2016-02-25 Thread Eli Zaretskii
> From: Anuj Shroff > Date: Wed, 24 Feb 2016 21:11:02 + > Cc: Eric DeCosta , > Troy Runkel > > Our aim is to kill the gmake process along with its sub gmakes (child > processes) on windows and clean up > properly (which involves unlinking object files). > > For this we created a scri

Permission Denied error while killing Gmake on Windows

2016-02-24 Thread Anuj Shroff
Hello "Developers of Gmake" My name is Anuj. I work as a software developer at Mathworks. While working on project involving killing 'gmake' process on Windows, we encountered an issue that we would like to bring to your attention. Our aim is to kill the gmake process along with its sub gmakes