diff options
author | Shauren <shauren.trinity@gmail.com> | 2017-11-19 20:14:48 +0100 |
---|---|---|
committer | funjoker <funjoker109@gmail.com> | 2021-02-15 19:13:25 +0100 |
commit | 0748d4443d9051f83002dfd59f9b54829080e81d (patch) | |
tree | 71c845da2d8750504abcb8b24a9484191e6d04d8 | |
parent | 367e9f210eb5ec852458f65ec967497d919afd7a (diff) |
Dep/jemalloc: Fixed valgrind intergration
(cherry picked from commit a422dad8702c779b5665891d9e651aef575f33f7)
-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 e049468888d..893fb7b8232 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 |