diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 22:13:52 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 22:13:52 +0200 |
| commit | 705c98d47937d603e3ad569cc2ade12fa1df3677 (patch) | |
| tree | 6cd980e01943a87126ec51a248ffc4f03a195e5f /kernel/CMakeLists.txt | |
| parent | 4b28e4626e744ac9b779a680f8e9647014956dda (diff) | |
| download | kernel-705c98d47937d603e3ad569cc2ade12fa1df3677.tar.xz kernel-705c98d47937d603e3ad569cc2ade12fa1df3677.zip | |
build: add tsan build
Diffstat (limited to 'kernel/CMakeLists.txt')
| -rw-r--r-- | kernel/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt index a97c1e4a..c93fe9c9 100644 --- a/kernel/CMakeLists.txt +++ b/kernel/CMakeLists.txt @@ -191,7 +191,7 @@ if(BUILD_TESTING) CXX_CLANG_TIDY "" ) - if(COMMAND "enable_coverage") + if(COMMAND "enable_coverage" AND NOT TEACHOS_ENABLE_TEST_TSAN) enable_coverage("kernel_lib") enable_coverage("kernel_tests") endif() |