diff options
Diffstat (limited to 'src/server/shared/Define.h')
| -rw-r--r-- | src/server/shared/Define.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/server/shared/Define.h b/src/server/shared/Define.h index 5d5da7e600e..2723d287c53 100644 --- a/src/server/shared/Define.h +++ b/src/server/shared/Define.h @@ -31,6 +31,11 @@ # if !defined(_GLIBCXX_USE_NANOSLEEP) # define _GLIBCXX_USE_NANOSLEEP # endif +# if defined(HELGRIND) +# include <valgrind/helgrind.h> +# define _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE(A) ANNOTATE_HAPPENS_BEFORE(A) +# define _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(A) ANNOTATE_HAPPENS_AFTER(A) +# endif #endif #include <cstddef> |