PR ada/31808
commit3a03dfc2c4b46394899ee3bbf322da26731f5721
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 12 May 2008 23:58:11 +0000 (12 23:58 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 12 May 2008 23:58:11 +0000 (12 23:58 +0000)
treefbb3ac8ea9b21ea18f40deee3baf218218578bce
parent06cecc47f09f4e431c2dccca99299d69de0a9669
PR ada/31808
* Makefile.in (gnattools-cross): Do not build vxaddr2line

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135239 138bc75d-0d04-0410-961f-82ee72b054a4
gnattools/ChangeLog
gnattools/Makefile.in