PR plugins/69758: add params.list to PLUGIN_HEADERS
authordmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 11 Feb 2016 11:26:54 +0000 (11:26 +0000)
committerdmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 11 Feb 2016 11:26:54 +0000 (11:26 +0000)
commit3eb5e6f1045e090e42ec88c5b1474e134c019454
treeb0bc5bb0851c1fe2655788ea2b7a235018f90c91
parent8d68396085e13e28a12c823f6197934cb02780ac
PR plugins/69758: add params.list to PLUGIN_HEADERS

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@233338 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/Makefile.in