------- Comment #3 from charlet at gcc dot gnu dot org 2008-05-12 23:58 ------- Subject: Bug 31808
Author: charlet Date: Mon May 12 23:58:11 2008 New Revision: 135239 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135239 Log: PR ada/31808 * Makefile.in (gnattools-cross): Do not build vxaddr2line Modified: trunk/gnattools/ChangeLog trunk/gnattools/Makefile.in -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31808
