Makefile.in (PLUGIN_HEADERS): Add gimple-pretty-print.h tree-pretty-print.h & realmpfr.h.
authorBasile Starynkevitch <basile@starynkevitch.net>
Mon, 11 Apr 2011 19:31:50 +0000 (19:31 +0000)
committerBasile Starynkevitch <bstarynk@gcc.gnu.org>
Mon, 11 Apr 2011 19:31:50 +0000 (19:31 +0000)
commit6075765d8c6993df315a8792440673d95741a5e8
treea5a847132fb7f1f6944707318485c56c9dd8e90c
parenta58dfa4999fb9f46aa315ff6d99c36d350b24159
Makefile.in (PLUGIN_HEADERS): Add gimple-pretty-print.h tree-pretty-print.h & realmpfr.h.

2011-04-11  Basile Starynkevitch  <basile@starynkevitch.net>

* Makefile.in (PLUGIN_HEADERS): Add gimple-pretty-print.h
tree-pretty-print.h & realmpfr.h.

From-SVN: r172275
gcc/ChangeLog
gcc/Makefile.in