Re: [PATCH] Add some more headers to PLUGIN_HEADERS (PR plugins/59335)

2014-03-05 Thread Basile Starynkevitch
On Wed, 2014-03-05 at 15:00 +0100, Jakub Jelinek wrote: > Hi! > > The PR requests beyond the already commited ones some further headers. > > Tested with make install, ok for trunk? I am not authorized to approve that, but I hope it will be committed. Cheers. -- Basile STARYNKEVITCH htt

Re: [PATCH] Add some more headers to PLUGIN_HEADERS (PR plugins/59335)

2014-03-05 Thread Richard Biener
On Wed, 5 Mar 2014, Jakub Jelinek wrote: > Hi! > > The PR requests beyond the already commited ones some further headers. > > Tested with make install, ok for trunk? Ok. Thanks, Richard. > 2014-03-05 Jakub Jelinek > > PR plugins/59335 > * Makefile.in (PLUGIN_HEADERS): Add tree

[PATCH] Add some more headers to PLUGIN_HEADERS (PR plugins/59335)

2014-03-05 Thread Jakub Jelinek
Hi! The PR requests beyond the already commited ones some further headers. Tested with make install, ok for trunk? 2014-03-05 Jakub Jelinek PR plugins/59335 * Makefile.in (PLUGIN_HEADERS): Add tree-phinodes.h, stor-layout.h, ssa-iterators.h, $(RESOURCE_H) and tree-cfg