On Mon, 11 Jul 2011, Romain Geissler wrote: > This patch add a new exception to the plugin header flattering strategy. > c-family files can't be installed in the plugin include root directory as some > other files like cp/cp-tree.h will look for them in the c-family directory. > > Furthermore, i had to correct an include in c-pretty-print.h so that it > looks for c-common.h in the c-family directory. That way, headers will > work out of the box when compiling a plugin, there is no need for > additional include directory.
The c-pretty-print.h change is OK. The Makefile.in change is OK in the absence of any plugin maintainer objections within 24 hours (I advice CC:ing the plugin maintainers on all plugin-related patches). -- Joseph S. Myers jos...@codesourcery.com