diff options
| -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 |