aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShauren <shauren.trinity@gmail.com>2017-11-19 20:14:48 +0100
committerfunjoker <funjoker109@gmail.com>2021-02-15 19:13:25 +0100
commit0748d4443d9051f83002dfd59f9b54829080e81d (patch)
tree71c845da2d8750504abcb8b24a9484191e6d04d8
parent367e9f210eb5ec852458f65ec967497d919afd7a (diff)
Dep/jemalloc: Fixed valgrind intergration
(cherry picked from commit a422dad8702c779b5665891d9e651aef575f33f7)
-rw-r--r--dep/jemalloc/CMakeLists.txt4
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