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

[Jakub Jelinek]

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.

--- gcc/Makefile.in.jj  2015-03-23 08:47:53.000000000 +0100
+++ gcc/Makefile.in     2015-03-26 11:48:40.193054828 +0100
@@ -3255,7 +3255,7 @@ install-plugin: installdirs lang.install
 # We keep the directory structure for files in config or c-family and .def
 # files. All other files are flattened to a single directory.
        $(mkinstalldirs) $(DESTDIR)$(plugin_includedir)
-       headers=`echo $(PLUGIN_HEADERS) | tr ' ' '\012' | sort -u`; \
+       headers=`echo $(PLUGIN_HEADERS) $$(cd $(srcdir); echo *.h *.def) | tr ' 
' '\012' | sort -u`; \
        srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`; \
        for file in $$headers; do \
          if [ -f $$file ] ; then \

        Jakub