From c895e235f39bc491e959393889bbc62623fe7bf9 Mon Sep 17 00:00:00 2001 From: unknown Date: Thu, 22 Mar 2012 12:31:09 +0100 Subject: [PATCH] Do not use Valgrind client requests in a normal release build, they have a small but noticable performance impact. --- include/my_valgrind.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/my_valgrind.h b/include/my_valgrind.h index 5af3a14cf10..31651f6c3ed 100644 --- a/include/my_valgrind.h +++ b/include/my_valgrind.h @@ -23,7 +23,7 @@ #define IF_VALGRIND(A,B) B #endif -#if defined(HAVE_VALGRIND) +#if defined(HAVE_VALGRIND) && defined(HAVE_valgrind) # include # define MEM_UNDEFINED(a,len) VALGRIND_MAKE_MEM_UNDEFINED(a,len) # define MEM_NOACCESS(a,len) VALGRIND_MAKE_MEM_NOACCESS(a,len)