On 08/11/2011 05:26 PM, Rainer Orth wrote:
> 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.
Writing that down in a wiki page (even as unformatted text) would be
useful.
Paolo
