------- Comment #1 from simon at pushface dot org 2010-01-08 15:00 ------- Created an attachment (id=19508) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19508&action=view) Patch to gnattools/configure*
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42659
