From 717fad844bc006ceec950e55bb3dcea46a99b7c6 Mon Sep 17 00:00:00 2001 From: Dnomd343 Date: Sun, 1 Oct 2023 13:48:43 +0800 Subject: [PATCH] chore: update thread pool library --- .gitmodules | 6 +++--- third_party/thread-pool | 1 + third_party/tiny_thread_pool | 1 - 3 files changed, 4 insertions(+), 4 deletions(-) create mode 160000 third_party/thread-pool delete mode 160000 third_party/tiny_thread_pool diff --git a/.gitmodules b/.gitmodules index 865ff83..f87b77d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,12 +1,12 @@ [submodule "third_party/googletest"] path = third_party/googletest url = https://github.com/google/googletest.git -[submodule "third_party/tiny_thread_pool"] - path = third_party/tiny_thread_pool - url = https://github.com/dnomd343/tiny_thread_pool.git [submodule "third_party/abseil-cpp"] path = third_party/abseil-cpp url = https://github.com/abseil/abseil-cpp.git [submodule "third_party/md5sum"] path = third_party/md5sum url = https://github.com/dnomd343/md5sum.git +[submodule "third_party/thread-pool"] + path = third_party/thread-pool + url = https://github.com/bshoshany/thread-pool.git diff --git a/third_party/thread-pool b/third_party/thread-pool new file mode 160000 index 0000000..cabb3df --- /dev/null +++ b/third_party/thread-pool @@ -0,0 +1 @@ +Subproject commit cabb3df5876c9a6824b07fcb0ff73d4a0e506ca0 diff --git a/third_party/tiny_thread_pool b/third_party/tiny_thread_pool deleted file mode 160000 index e64e604..0000000 --- a/third_party/tiny_thread_pool +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e64e6047f1d4203576fe5fb37a8222630a6d0506