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

[Basile STARYNKEVITCH]

Diego Novillo wrote:
> On Tue, Jun 30, 2009 at 07:59, Basile
> STARYNKEVITCH<basile@starynkevitch.net> wrote:
>
>   
>>   * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.
>>     
>
> OK.
>   

Thanks Diego -I did test that make install still works.

Committed as rev 149100.

Regards.

PS. I intend to [re-]start a discussion on gcc@ about exported plugin 
headers. I will send an email in less than an hour there.

-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***