[build,ada] : Fix PR55243: Set STAMP

Submitted by Georg-Johann Lay on Nov. 23, 2012, 10:22 a.m.

Details

Message ID 50AF4E7E.1050509@gcc.gnu.org
State New
Headers show

Commit Message

Georg-Johann Lay Nov. 23, 2012, 10:22 a.m.
Better attach the patch...

Georg-Johann Lay wrote:
> This patchlet fixes missing STAMP command line tool that is needed if gnat is
> build for target avr.
> 
> The patch is untested and as proposed in
> 
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55243#c5
> 
> Ok for trunk and 4.7?
> 
> Johann
> 
> 
> 	PR ada/55243
> 	* Makefile.in (TOOLS_FLAGS_TO_PASS_CROSS): Set STAMP.

Patch hide | download patch | download mbox

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="