diff options
Diffstat (limited to 'cmake/Sanitizer.cmake')
-rw-r--r-- | cmake/Sanitizer.cmake | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cmake/Sanitizer.cmake b/cmake/Sanitizer.cmake index 723878d0d..34ef288a7 100644 --- a/cmake/Sanitizer.cmake +++ b/cmake/Sanitizer.cmake @@ -9,6 +9,9 @@ else () set (SAN_FLAGS "${SAN_FLAGS} -O1") endif () if (SANITIZE) + if (ENABLE_JEMALLOC MATCHES "ON") + message (STATUS "Jemalloc support is useless in case of build with sanitizers") + endif () if (SANITIZE STREQUAL "address") set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${SAN_FLAGS} -fsanitize=address -fsanitize-address-use-after-scope") set (CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${SAN_FLAGS} -fsanitize=address -fsanitize-address-use-after-scope") |