Hi Paolo, * Paolo Bonzini wrote on Thu, Jul 30, 2009 at 08:41:52AM CEST: > >I'll take this up with bug-make. Thank you again for bringing it up. > > GCC has this:
Yes, I know. (I didn't write that code originally, but I worked on it). Thanks for the pointer though. It's one way we can go for a GNU make-specific solution. I like fixing the bug inside GNU make better though: <http://thread.gmane.org/gmane.comp.gnu.make.bugs/4219> :-) Cheers, Ralf
