Re: [PATCH] PR plugins/69758: add params.list to PLUGIN_HEADERS

[Bernd Schmidt]

On 02/11/2016 04:29 AM, David Malcolm wrote:

gcc/ChangeLog:
        PR plugins/69758
        * Makefile.in (PLUGIN_HEADERS): Add params.list.

Ok.


Bernd