On May 24, 2012, at 16:32 , Paolo Bonzini wrote: >> libgcc/ >> * Makefile.in (clean): Remove libgcc_tm.stamp as well. >> Use a separate command for stamp removals. > > Ok, thanks.
Committed. The other one also, on the 4.7 branch as well. Thanks for for prompt feedback. And thanks Ian for the heads-up. With Kind Regards, Olivier
