[trunk] patch adding more exported include files in PLUGIN_HEADERS (ggc, tree-dump, pretty-print)

[Rafael Espindola]

2009/6/30 Basile STARYNKEVITCH <basile@starynkevitch.net>:
> Hello All,
>
> The attached 1-line patch adds more include files in headers. FYI, MELT
> plugins do require them and I am sure that some plugins may either need to
> do GGC allocations, or tree dumping, or pretty printing.
>
> gcc/ChangeLog:
> 2009-06-30  Basile Starynkevitch  <basile@starynkevitch.net>
>   * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.
>
> Ok for trunk if it bootstraps -which it should, since this only affect
> installation!?

I think it is OK if it installs correctly, but I am not sure I can approve it.

> Regards.
>
> --
> Basile STARYNKEVITCH         http://starynkevitch.net/Basile/


Cheers,
-- 
Rafael Avila de Espindola

Google | Gordon House | Barrow Street | Dublin 4 | Ireland
Registered in Dublin, Ireland | Registration Number: 368047