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.