diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 6674ccdd38c..4eb283d4959 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -475,6 +475,11 @@ if(WITH_CRIMSON) set(Seastar_API_LEVEL "6" CACHE STRING "" FORCE) set(Seastar_IO_URING ${HAVE_LIBURING} CACHE BOOL "" FORCE) set(Seastar_DEPRECATED_OSTREAM_FORMATTERS OFF CACHE BOOL "" FORCE) + if(WITH_ASAN) + set(Seastar_SANITIZE "ON" CACHE STRING "" FORCE) + else() + set(Seastar_SANITIZE "OFF" CACHE STRING "" FORCE) + endif() if(Seastar_DPDK) find_package(dpdk QUIET) if(NOT DPDK_FOUND)