"Joseph S. Myers" <jos...@codesourcery.com> writes:
> Actually I think the installation of all the installed target headers
> should move to libgcc's Makefiles (and the headers themselves should move
> under the libgcc/ directory).
Agreed, added to my ever-growing todo list for the libgcc move. This
would be
* gcc/ginclude, from gcc/Makefile.in (USER_H),
* extra_headers from gcc/config.gcc, and
* EXTRA_HEADERS from the gcc/config t-* files.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
