This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] PR plugins/69758: add params.list to PLUGIN_HEADERS
- From: Bernd Schmidt <bschmidt at redhat dot com>
- To: David Malcolm <dmalcolm at redhat dot com>, gcc-patches at gcc dot gnu dot org
- Date: Thu, 11 Feb 2016 04:26:05 +0100
- Subject: Re: [PATCH] PR plugins/69758: add params.list to PLUGIN_HEADERS
- Authentication-results: sourceware.org; auth=none
- References: <1455161386-43437-1-git-send-email-dmalcolm at redhat dot com>
On 02/11/2016 04:29 AM, David Malcolm wrote:
gcc/ChangeLog:
PR plugins/69758
* Makefile.in (PLUGIN_HEADERS): Add params.list.
Ok.
Bernd