aboutsummaryrefslogtreecommitdiff
path: root/libs/kstd/CMakeLists.txt
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-07-26 23:15:47 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-07-26 23:15:47 +0200
commita7700e8a8fd649be43150f67c94fd02cf72b03a1 (patch)
tree1d50976f7bdeeddafa6f7f0fab00490c59b7250a /libs/kstd/CMakeLists.txt
parent0092b0f0750e85e1a6e97a00ae21d3d1572b17ef (diff)
downloadkernel-a7700e8a8fd649be43150f67c94fd02cf72b03a1.tar.xz
kernel-a7700e8a8fd649be43150f67c94fd02cf72b03a1.zip
build: separate normal from stress tests
Diffstat (limited to 'libs/kstd/CMakeLists.txt')
-rw-r--r--libs/kstd/CMakeLists.txt8
1 files changed, 7 insertions, 1 deletions
diff --git a/libs/kstd/CMakeLists.txt b/libs/kstd/CMakeLists.txt
index 379ca7d0..d8d5ea2a 100644
--- a/libs/kstd/CMakeLists.txt
+++ b/libs/kstd/CMakeLists.txt
@@ -9,6 +9,12 @@ project("kstd"
include("CTest")
#[============================================================================[
+# Global Build System Options
+#]============================================================================]
+
+option(KSTD_ENABLE_TEST_COVERAGE "Enable generation of test coverage" ON)
+
+#[============================================================================[
# Library
#]============================================================================]
@@ -74,7 +80,7 @@ if(BUILD_TESTING)
teachos_add_tests("kstd")
- if(COMMAND "enable_coverage" AND NOT TEACHOS_ENABLE_TEST_TSAN)
+ if(COMMAND "enable_coverage" AND KSTD_ENABLE_TEST_COVERAGE)
enable_coverage("kstd")
enable_coverage("kstd_tests")
endif()