diff --git a/.gitmodules b/.gitmodules index 2b43c04..3fe9bfd 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,3 +4,6 @@ [submodule "third_party/md5"] path = third_party/md5 url = https://github.com/ulwanski/md5.git +[submodule "third_party/tiny_thread_pool"] + path = third_party/tiny_thread_pool + url = https://github.com/dnomd343/tiny_thread_pool.git diff --git a/third_party/tiny_thread_pool b/third_party/tiny_thread_pool new file mode 160000 index 0000000..77351b1 --- /dev/null +++ b/third_party/tiny_thread_pool @@ -0,0 +1 @@ +Subproject commit 77351b1aace75c17b5163ea1d2940f665d7ed400