[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Permission Denied error while killing Gmake on Windows
From: |
Eli Zaretskii |
Subject: |
Re: Permission Denied error while killing Gmake on Windows |
Date: |
Tue, 15 Mar 2016 19:31:18 +0200 |
> 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.