diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-08-16 16:28:29 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-08-16 16:28:29 +0200 |
| commit | 9a3858bdca3a07d1b61fe3c5456983337e64a2a3 (patch) | |
| tree | b3075118a82126338f0d8f55b9cbfdfcb2e1686e | |
| parent | 261fc83ff4f6bd9ee8eee338d2ee5559c2e152c2 (diff) | |
| download | kernel-9a3858bdca3a07d1b61fe3c5456983337e64a2a3.tar.xz kernel-9a3858bdca3a07d1b61fe3c5456983337e64a2a3.zip | |
build: don't predicate tests on general sanitizers
| -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 |