From c095d5a2713edc21b1afa829fee10be20ad41b5a Mon Sep 17 00:00:00 2001 From: Park DongHa Date: Fri, 2 Apr 2021 02:37:58 +0900 Subject: [pthreadpool] create a new port (#16342) * [fxdiv] create a new port * [fxdiv] update baseline and port SHA * [pthreadpool] create a new port * [pthreadpool] update baseline and port SHA * [pthreadpool] update deps for uwp * [pthreadpool] apply PR feedback * [pthreadpool] remove unnecessary work in portfile --- versions/baseline.json | 4 ++++ versions/p-/pthreadpool.json | 9 +++++++++ 2 files changed, 13 insertions(+) create mode 100644 versions/p-/pthreadpool.json (limited to 'versions') diff --git a/versions/baseline.json b/versions/baseline.json index dc9e7da9e..3dd4baa61 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -4888,6 +4888,10 @@ "baseline": "3.0.0", "port-version": 0 }, + "pthreadpool": { + "baseline": "2020-02-21", + "port-version": 0 + }, "pthreads": { "baseline": "3.0.0-6", "port-version": 0 diff --git a/versions/p-/pthreadpool.json b/versions/p-/pthreadpool.json new file mode 100644 index 000000000..09c0ab015 --- /dev/null +++ b/versions/p-/pthreadpool.json @@ -0,0 +1,9 @@ +{ + "versions": [ + { + "git-tree": "9c1519f2cc1eb186ccd706a4f634350877da6dba", + "version-date": "2020-02-21", + "port-version": 0 + } + ] +} -- cgit v1.2.3