| Submitter | Georg-Johann Lay |
|---|---|
| Date | Nov. 23, 2012, 10:22 a.m. |
| Message ID | <50AF4E7E.1050509@gcc.gnu.org> |
| Download | mbox | patch |
| Permalink | /patch/201285/ |
| State | New |
| Headers | show |
Comments
Patch
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="