diff options
Diffstat (limited to 'src/common/Define.h')
| -rw-r--r-- | src/common/Define.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/common/Define.h b/src/common/Define.h index fa8a7e5d344..71630ef949c 100644 --- a/src/common/Define.h +++ b/src/common/Define.h @@ -38,6 +38,9 @@ # define _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE(A) ANNOTATE_HAPPENS_BEFORE(A) # define _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(A) ANNOTATE_HAPPENS_AFTER(A) # endif +# if defined(VALGRIND) +# include <valgrind/memcheck.h> +# endif #endif #include <cstddef> |