http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55243
--- Comment #21 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-10 23:13:05 UTC --- > As far as gnattools are concerned, it makes no difference whether the > auto-generated files are stamped and written to $build or stamped and written > to $source. > > I agree that the $source vs. $build matter should be cleaned up. > > However, that won't help with this PR because the rules and the dependencies > and the needed tools will remain the same. So we're back to square one: why on Earth does this file need to be regenerated when the gnattools are built, since it has already been generated previously during the build (in addition to being already present in the source tree)?
