aboutsummaryrefslogtreecommitdiff
path: root/vcpkg/ports/task-thread-pool/fix-header-file-path.patch
diff options
context:
space:
mode:
authorEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
committerEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
commit54409423f767d8b1cf30cb7d0efca6b4ca138823 (patch)
treed915ac7828703ce4b963efdd9728a1777ba18c1e /vcpkg/ports/task-thread-pool/fix-header-file-path.patch
move to own git serverHEADmaster
Diffstat (limited to 'vcpkg/ports/task-thread-pool/fix-header-file-path.patch')
-rw-r--r--vcpkg/ports/task-thread-pool/fix-header-file-path.patch13
1 files changed, 13 insertions, 0 deletions
diff --git a/vcpkg/ports/task-thread-pool/fix-header-file-path.patch b/vcpkg/ports/task-thread-pool/fix-header-file-path.patch
new file mode 100644
index 0000000..15a1d3a
--- /dev/null
+++ b/vcpkg/ports/task-thread-pool/fix-header-file-path.patch
@@ -0,0 +1,13 @@
+diff --git a/CMakeLists.txt b/CMakeLists.txt
+index c155ade..319351c 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -23,7 +23,7 @@ target_include_directories(
+ $<BUILD_INTERFACE:${${PROJECT_NAME}_SOURCE_DIR}/include>
+ $<INSTALL_INTERFACE:include>)
+
+-set(HEADER_FILES task_thread_pool.hpp)
++set(HEADER_FILES include/task_thread_pool.hpp)
+
+ set_target_properties(${PROJECT_NAME} PROPERTIES PUBLIC_HEADER "${HEADER_FILES}")
+