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