> From: Orgad Shaneh <[email protected]> > Date: Fri, 16 Jun 2017 14:24:13 +0300 > Cc: [email protected] > > 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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-make
