http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55243
--- Comment #24 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-12 11:35:07 UTC --- > What I don't understand is what is bad with Rolf's proposal of defining STAMP? We simply don't need to stamp anything for the gnattools. > Stamping is not that unusual in the build process. Up to now it was not > needed, but is it that critical to set STAMP like proposed above? Well, building the gnattools works flawlessly for all targets except for AVR, because of a very questionable kludge. So it makes sense to fix the kludge.