summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/cmake.yml2
-rw-r--r--userconfig-runner@Linux-GNU.cmake3
2 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
index 3284c146..f421d795 100644
--- a/.github/workflows/cmake.yml
+++ b/.github/workflows/cmake.yml
@@ -58,7 +58,7 @@ jobs:
- name: Test
run: |
cd ${{github.workspace}}/build/install
- export LD_LIBRARY_PATH="$PWD/lib"
+ export LD_LIBRARY_PATH="$PWD/lib" ASAN_OPTIONS=detect_leaks=0
xvfb-run gdb -batch -x ../../.github/workflows/gdbscript bin/floormat-test </dev/null
if: matrix.os == 'ubuntu-22.04'
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)