diff options
| -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 |