> From: Anuj Shroff <anuj.shr...@mathworks.com> > CC: "bug-make@gnu.org" <bug-make@gnu.org>, > Eric DeCosta > <eric.deco...@mathworks.com>, > Troy Runkel <troy.run...@mathworks.com> > 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 Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
