diff options
author | Stanislaw Halik <sthalik@misaki.pl> | 2023-03-03 14:34:42 +0100 |
---|---|---|
committer | Stanislaw Halik <sthalik@misaki.pl> | 2023-03-03 14:34:42 +0100 |
commit | 4e5cdeaa32fd73f160ee0d599ce958169082eeac (patch) | |
tree | caf045d6620c62099d77c4de754a2af6376f63f6 | |
parent | b83f447ff6978509fdf23e9813eff6d7b5a6ffa2 (diff) |
cmake: fix ci
-rw-r--r-- | userconfig-runner@Linux-GNU.cmake | 4 |
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 |