From patchwork Fri Nov 23 10:22:54 2012
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: [build,ada] : Fix PR55243: Set STAMP
Date: Fri, 23 Nov 2012 00:22:54 -0000
From: Georg-Johann Lay <gjl@gcc.gnu.org>
X-Patchwork-Id: 201285
Message-Id: <50AF4E7E.1050509@gcc.gnu.org>
To: gcc-patches@gcc.gnu.org
Cc: Eric Botcazou <ebotcazou@adacore.com>

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.


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