> From: Anuj Shroff <[email protected]> > CC: "[email protected]" <[email protected]>, > Eric DeCosta > <[email protected]>, > Troy Runkel <[email protected]> > 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. _______________________________________________ Bug-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-make
