summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2023-03-03 14:34:42 +0100
committerStanislaw Halik <sthalik@misaki.pl>2023-03-03 14:34:42 +0100
commit4e5cdeaa32fd73f160ee0d599ce958169082eeac (patch)
treecaf045d6620c62099d77c4de754a2af6376f63f6
parentb83f447ff6978509fdf23e9813eff6d7b5a6ffa2 (diff)
cmake: fix ci
-rw-r--r--userconfig-runner@Linux-GNU.cmake4
1 files changed, 2 insertions, 2 deletions
diff --git a/userconfig-runner@Linux-GNU.cmake b/userconfig-runner@Linux-GNU.cmake
index 7994a721..963027ba 100644
--- a/userconfig-runner@Linux-GNU.cmake
+++ b/userconfig-runner@Linux-GNU.cmake
@@ -6,8 +6,8 @@ sets(STRING
CMAKE_C_FLAGS_RELEASE "-O0 -DNDEBUG -s"
CMAKE_CXX_FLAGS_RELEASE "-O0 -DNDEBUG -s")
-add_compile_options(-fsanitize=address,undefined,memory)
-add_link_options(-fsanitize=address,undefined,memory)
+add_compile_options(-fsanitize=address,undefined)
+add_link_options(-fsanitize=address,undefined)
sets(BOOL CORRADE_CPU_USE_IFUNC OFF)
# for floormat sources only