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