diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-08-20 11:44:37 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-08-20 11:44:37 +0200 |
| commit | 4ecf7591449d34630b61e9a5cc734ebc9f8e07e4 (patch) | |
| tree | 2df7b0e7ac0ab41df4170aea2122611d7d792924 /libs/kstd | |
| parent | 5a4342e69ecc19d1408f622ceb7f8a8bbe6c1d20 (diff) | |
| download | kernel-4ecf7591449d34630b61e9a5cc734ebc9f8e07e4.tar.xz kernel-4ecf7591449d34630b61e9a5cc734ebc9f8e07e4.zip | |
build: clean up header set verification
Diffstat (limited to 'libs/kstd')
| -rw-r--r-- | libs/kstd/CMakeLists.txt | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/libs/kstd/CMakeLists.txt b/libs/kstd/CMakeLists.txt index 753f674f..a5b76a62 100644 --- a/libs/kstd/CMakeLists.txt +++ b/libs/kstd/CMakeLists.txt @@ -34,7 +34,7 @@ file(GLOB_RECURSE KSTD_HEADERS "kstd/**.hpp" ) -list(FILTER KSTD_HEADERS EXCLUDE REGEX "test_support") +list(FILTER KSTD_HEADERS EXCLUDE REGEX "test_support|bits") target_sources("kstd" PUBLIC FILE_SET HEADERS @@ -47,10 +47,6 @@ target_include_directories("kstd" PUBLIC "${CMAKE_CURRENT_SOURCE_DIR}" ) -set_target_properties("kstd" PROPERTIES - VERIFY_INTERFACE_HEADER_SETS YES -) - if(NOT BUILD_TESTING) target_sources("kstd" PRIVATE "kstd/libc/stdlib.cpp" |