|
From: Tom H. <to...@co...> - 2008-01-05 00:16:59
|
On 04/01/2008, Bart Van Assche <bar...@gm...> wrote: > 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 ? Applied, but is there not a better alternative to hardcoding the stack depth to fetch like that? Tom -- Tom Hughes (to...@co...) http://www.compton.nu/ |