http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56224
--- Comment #2 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2013-02-06 20:55:13 UTC --- I think the file should go into an include directory.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56224
--- Comment #2 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2013-02-06 20:55:13 UTC --- I think the file should go into an include directory.