|
From: Bart V. A. <bar...@gm...> - 2008-01-04 19:52:36
|
On Jan 1, 2008 7:11 PM, Julian Seward <js...@ac...> wrote: > > A more serious module-related question for drd is that it should not > include pub_core_*.h. Tools may only include pub_tool_*.h, in order > to control the complexity of the core/tool interface. For one thing > that will require adding the drd suppression file to DEFAULT_SUPP > in configure.in - not a problem. Can you list precisely the stuff from > the core_*.h includes that you need, that is not present in the > tool_*.h files? The attached patch solves this issue for exp-drd/drd_main.c. Can you please review and apply the attached patch ? Thanks, Bart. |