MonetDB: Jun2023 - merged with sep2022

[Niels Nes]

Changeset: 8c43ae76301f for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/8c43ae76301f
Modified Files:
        testing/CMakeLists.txt
Branch: Jun2023
Log Message:

merged with sep2022


diffs (13 lines):

diff --git a/testing/CMakeLists.txt b/testing/CMakeLists.txt
--- a/testing/CMakeLists.txt
+++ b/testing/CMakeLists.txt
@@ -97,6 +97,9 @@ endif(HAVE_GETENTROPY)
 if (NOT WIN32)
   set(NOT_WIN32_FALSE "#")
 endif()
+if (SANITIZER)
+  set(SANITIZER_FALSE "#")
+endif()
 
 configure_file(Mtest.py.in
   ${CMAKE_CURRENT_BINARY_DIR}/Mtest.py
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org