projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 567a369) | patch
PR plugins/69758: add params.list to PLUGIN_HEADERS
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 11 Feb 2016 11:26:54 +0000 (11:26 +0000)
committerDavid Malcolm <dmalcolm@gcc.gnu.org>
Thu, 11 Feb 2016 11:26:54 +0000 (11:26 +0000)
commit26fb38a1d76e504cdc870124212fd0752e749ff3
treeb0bc5bb0851c1fe2655788ea2b7a235018f90c91tree
parent567a3691a7d99af7d2afe8c527711454883dc289commit | diff
PR plugins/69758: add params.list to PLUGIN_HEADERS

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

From-SVN: r233338
gcc/ChangeLog diff | blob | history
gcc/Makefile.in diff | blob | history