> From: Orgad Shaneh <org...@gmail.com> > Date: Fri, 16 Jun 2017 14:24:13 +0300 > Cc: bug-make@gnu.org > > Ok, I was able to create a minimal example. It happens only with g++ -pipe.
Thanks, but I couldn't reproduce the problem on my main development machine. In my case, Make succeeds to delete the file every time I try the recipe. I will try later on other systems to which I have access. If you could capture a ProcessMonitor log with the failure, perhaps we could start to understand what's going on. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
