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

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

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

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