Message ID | 20150326134034.GA1746@tucnak.redhat.com |
---|---|
State | New |
Headers | show |
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 <jakub@redhat.com> > > PR plugins/61176 > * Makefile.in (install-plugin): Add all gcc/*.{h,def} files > automatically to $headers. OK. jeff
--- 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 \