diff options
| -rw-r--r-- | kernel/CMakeLists.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt index 3fb3bc4a..dd72051d 100644 --- a/kernel/CMakeLists.txt +++ b/kernel/CMakeLists.txt @@ -156,12 +156,12 @@ if(BUILD_TESTING) include("Catch") include("BuildHostTests") - if(TEACHOS_ENABLE_TEST_SANITIZERS) - teachos_add_tests("kernel") - set(TEST_TARGET "kernel_tests") - elseif(TEACHOS_ENABLE_TEST_TSAN) + if(TEACHOS_ENABLE_TEST_TSAN) teachos_add_stress_tests("kernel") set(TEST_TARGET "kernel_stress_tests") + else() + teachos_add_tests("kernel") + set(TEST_TARGET "kernel_tests") endif() target_sources("${TEST_TARGET}" PRIVATE |