Makefile.in: added more lists of includes to PLUGIN_HEADERS.

2009-07-07  Basile Starynkevitch  <basile@starynkevitch.net>

	* gcc/Makefile.in: added more lists of includes to PLUGIN_HEADERS.

From-SVN: r149313

gcc/ChangeLog

+2009-07-07  Basile Starynkevitch  <basile@starynkevitch.net>
+
+	* Makefile.in: added more lists of includes to PLUGIN_HEADERS.
+
 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 
 	* cgraphunit.c: Replace %J by an explicit location. Update all

gcc/Makefile.in

@@ -4076,6 +4076,8 @@ 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) \
+  $(tm_file_list) $(tm_include_list) $(tm_p_file_list) $(tm_p_include_list) \
+  $(host_xm_file_list) $(host_xm_include_list) $(xm_include_list) \
   intl.h $(PLUGIN_VERSION_H)
 
 # Install the headers needed to build a plugin.