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.
libgcc_tm.diff
Description: Binary data