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 /libs | |
| parent | 4b28e4626e744ac9b779a680f8e9647014956dda (diff) | |
| download | kernel-705c98d47937d603e3ad569cc2ade12fa1df3677.tar.xz kernel-705c98d47937d603e3ad569cc2ade12fa1df3677.zip | |
build: add tsan build
Diffstat (limited to 'libs')
| -rw-r--r-- | libs/acpi/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | libs/kstd/CMakeLists.txt | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/libs/acpi/CMakeLists.txt b/libs/acpi/CMakeLists.txt index caffa1c9..4bd23d47 100644 --- a/libs/acpi/CMakeLists.txt +++ b/libs/acpi/CMakeLists.txt @@ -85,7 +85,7 @@ if(BUILD_TESTING) set_source_files_properties("acpi/test_data/tables.S" PROPERTIES OBJECT_DEPENDS "${GENERATED_TABLE_BLOBS}") - if(COMMAND "enable_coverage") + if(COMMAND "enable_coverage" AND NOT TEACHOS_ENABLE_TEST_TSAN) enable_coverage("acpi") endif() diff --git a/libs/kstd/CMakeLists.txt b/libs/kstd/CMakeLists.txt index 63428c4b..379ca7d0 100644 --- a/libs/kstd/CMakeLists.txt +++ b/libs/kstd/CMakeLists.txt @@ -74,7 +74,7 @@ if(BUILD_TESTING) teachos_add_tests("kstd") - if(COMMAND "enable_coverage") + if(COMMAND "enable_coverage" AND NOT TEACHOS_ENABLE_TEST_TSAN) enable_coverage("kstd") enable_coverage("kstd_tests") endif() |