http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55243
--- Comment #5 from Rolf Ebert <rolf.ebert.gcc at gmx dot de> 2012-11-17
10:02:49 UTC ---
STAMP isn't set by configure. It is rather hardcoded in gcc/Makefile.in
Correspondignly it has to be set in gnattools/Makefile.in, too:
--- gnattools/Makefile.in~ 2011-10-13 00:41:57 +0200
+++ gnattools/Makefile.in 2012-11-16 20:50:48 +0100
@@ -111,6 +111,7 @@
"GNATMAKE=gnatmake" \
"GNATLINK=gnatlink" \
"GNATBIND=gnatbind" \
+ "STAMP=echo timestamp >" \
"TOOLSCASE=cross" \
"LIBGNAT="
