Remove os_thread_type files

pika-org · Apr 12, 2024 · 963c180 · 963c180
1 parent eda4384
commit 963c180
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 66 deletions.
diff --git a/libs/pika/runtime/CMakeLists.txt b/libs/pika/runtime/CMakeLists.txt
@@ -14,7 +14,6 @@ set(runtime_headers
     pika/runtime/get_os_thread_count.hpp
     pika/runtime/get_thread_name.hpp
     pika/runtime/get_worker_thread_num.hpp
-    pika/runtime/os_thread_type.hpp
     pika/runtime/report_error.hpp
     pika/runtime/runtime_handlers.hpp
     pika/runtime/runtime.hpp
@@ -30,7 +29,6 @@ set(runtime_headers
 set(runtime_sources
     custom_exception_info.cpp
     debugging.cpp
-    os_thread_type.cpp
     runtime_handlers.cpp
     runtime.cpp
     state.cpp

diff --git a/libs/pika/runtime/include/pika/runtime/os_thread_type.hpp b/libs/pika/runtime/include/pika/runtime/os_thread_type.hpp
diff --git a/libs/pika/runtime/src/os_thread_type.cpp b/libs/pika/runtime/src/os_thread_type.cpp