diff options
author | Shauren <shauren.trinity@gmail.com> | 2017-11-19 20:14:48 +0100 |
---|---|---|
committer | Shauren <shauren.trinity@gmail.com> | 2017-11-19 20:14:48 +0100 |
commit | a422dad8702c779b5665891d9e651aef575f33f7 (patch) | |
tree | ede76069fc5af347cea291904ad365216d74be5a /dep | |
parent | cc6dec72863a771da0c0f3ab3d32f75d7ce863bd (diff) |
Dep/jemalloc: Fixed valgrind intergration
Diffstat (limited to 'dep')
-rw-r--r-- | dep/jemalloc/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dep/jemalloc/CMakeLists.txt b/dep/jemalloc/CMakeLists.txt index 68155d3beb6..d8269eb6f71 100644 --- a/dep/jemalloc/CMakeLists.txt +++ b/dep/jemalloc/CMakeLists.txt @@ -52,6 +52,10 @@ if(CMAKE_SYSTEM_NAME MATCHES "Linux" AND NOT NOJEM) ${CMAKE_CURRENT_SOURCE_DIR}/src/util.c ) + if (VALGRIND) + set(jemalloc_STAT_SRC ${jemalloc_STAT_SRC} ${CMAKE_CURRENT_SOURCE_DIR}/src/valgrind.c) + endif() + add_library(jemalloc STATIC ${jemalloc_STAT_SRC}) target_include_directories(jemalloc |