On Thu, Jul 30, 2009 at 9:48 AM, Ralf Wildenhues<[email protected]> wrote: > 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> :-)
Hi all, Ralf, I just tested the patch you sent to the make-bugs list and indeed it fixes my problem. Many thanks for all the help! Cheers, Xan > > Cheers, > Ralf > >
