Index: gnattools/Makefile.in
===================================================================
--- gnattools/Makefile.in	(revision 193721)
+++ gnattools/Makefile.in	(working copy)
@@ -111,6 +111,7 @@ TOOLS_FLAGS_TO_PASS_CROSS= \
 	"GNATMAKE=gnatmake" \
 	"GNATLINK=gnatlink" \
 	"GNATBIND=gnatbind" \
+	"STAMP=echo timestamp >" \
 	"TOOLSCASE=cross" \
 	"LIBGNAT="