Re: [PATCH] Install all gcc/*.{h,def} headers for plugins (PR plugins/61176)

[Jeff Law]

On 03/26/2015 07:40 AM, Jakub Jelinek wrote:

Hi!

Rather than adding 130 or so missing headers to PLUGIN_HEADERS,
this just adds all *.h and *.def files from gcc/ directory.
For files from different directories, one has to still add them
into PLUGIN_HEADERS.

Tested on x86_64-linux and i686-linux, ok for trunk?

2015-03-26  Jakub Jelinek  <ja...@redhat.com>

        PR plugins/61176
        * Makefile.in (install-plugin): Add all gcc/*.{h,def} files
        automatically to $headers.

OK.
jeff