2009-06-30 Basile Starynkevitch <basile@starynkevitch.net>

	* gcc/Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 644ef85..ff192b0 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2009-06-30  Basile Starynkevitch  <basile@starynkevitch.net>
+
+       * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.
+
 2009-06-30  Ira Rosen  <irar@il.ibm.com>
 
        PR tree-optimization/40542

diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index 8bd09a8..a638a78 100644 (file)
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -4075,6 +4075,7 @@ installdirs:
 
 PLUGIN_HEADERS = $(TREE_H) $(CONFIG_H) $(SYSTEM_H) coretypes.h $(TM_H) \
   $(TOPLEV_H) $(BASIC_BLOCK_H) $(GIMPLE_H) $(TREE_PASS_H) $(GCC_PLUGIN_H) \
+  $(GGC_H) $(TREE_DUMP_H) $(PRETTY_PRINT_H) \
   intl.h $(PLUGIN_VERSION_H)
 
 # Install the headers needed to build a plugin.