Ping #1 [Patch,build,ada]: Fix PR55243: Set STAMP

[Georg-Johann Lay]

Ping #1 for:

http://gcc.gnu.org/ml/gcc-patches/2012-11/msg01914.html
http://gcc.gnu.org/ml/gcc-patches/2012-11/msg01915.html


Johann


        PR ada/55243
        * Makefile.in (TOOLS_FLAGS_TO_PASS_CROSS): Set STAMP.