diff options
| author | Stanislaw Halik <sthalik@misaki.pl> | 2022-11-30 09:53:36 +0100 |
|---|---|---|
| committer | Stanislaw Halik <sthalik@misaki.pl> | 2022-11-30 10:19:35 +0100 |
| commit | ccf843360374c2f91d4d9420e4d2ccd73a03e703 (patch) | |
| tree | 239392fb0d97021de404519716e34eee8dddaba9 /userconfig-runner@Linux-GNU.cmake | |
| parent | d46b481ebc24f1cd46a67136def69652f35a111d (diff) | |
ci: try to fix sanitizer build
Diffstat (limited to 'userconfig-runner@Linux-GNU.cmake')
| -rw-r--r-- | userconfig-runner@Linux-GNU.cmake | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/userconfig-runner@Linux-GNU.cmake b/userconfig-runner@Linux-GNU.cmake index 2ac9dc79..f27067a1 100644 --- a/userconfig-runner@Linux-GNU.cmake +++ b/userconfig-runner@Linux-GNU.cmake @@ -4,7 +4,8 @@ set(CMAKE_BUILD_TYPE DEBUG PARENT_SCOPE) set(CMAKE_INSTALL_MESSAGE NEVER) add_compile_options(-fsanitize=address,undefined) -add_compile_options(-fsanitize=address,undefined) +add_link_options(-fsanitize=address,undefined) +sets(BOOL CORRADE_CPU_USE_IFUNC OFF) # for floormat sources only function(fm-userconfig-src) |