Re: [Valgrind-developers] valgrind: r12414 - in trunk: . coregrind coregrind/m_scheduler coregrind/m_syswrap docs/xml include

[Florian K. <br...@ac...>]

On 03/03/2012 07:01 AM, sv...@va... wrote:

> Modified: trunk/coregrind/m_scheduler/sema.c
> ===================================================================
> --- trunk/coregrind/m_scheduler/sema.c	2012-03-02 09:57:14 UTC (rev 12413)
> +++ trunk/coregrind/m_scheduler/sema.c	2012-03-03 12:01:48 UTC (rev 12414)
> @@ -34,6 +34,10 @@
>  #include "pub_core_libcassert.h"
>  #include "pub_core_libcfile.h"
>  #include "pub_core_libcproc.h"      // For VG_(gettid)()
> +#include "pub_tool_inner.h"
> +#if defined(ENABLE_INNER_CLIENT_REQUEST)
> +#include "helgrind/helgrind.h"

I thought including tool headers in coregrind was forbidden. No ?

   Florian