Il 24/05/2012 16:31, Olivier Hainque ha scritto: > > On May 24, 2012, at 16:01 , Paolo Bonzini wrote: >>> (*) For this sequence to work, I had to change libgcc_tm.h into >>> libgcc_tm.stamp >>> in the list of files removed by "clean:" in libgcc/Makefile.in. > >> I think you need to remove both files? > > Agreed. The .h is generated and needs to be removed by "make clean". > >> Can you send a patch for that? > > Sure. Attached. The use of a separate command for stamp removals > is only to avoid an overlong line. > > 2012-05-24 Olivier Hainque <hain...@adacore.com> > > libgcc/ > * Makefile.in (clean): Remove libgcc_tm.stamp as well. > Use a separate command for stamp removals.
Ok, thanks. Paolo