diff options
author | Vijay Pai <vpai@google.com> | 2018-02-13 14:40:39 -0800 |
---|---|---|
committer | Vijay Pai <vpai@google.com> | 2018-02-15 21:30:13 -0800 |
commit | 58a62755fc6546a117b7b8f3a0a344f85b2ea5f9 (patch) | |
tree | 294e8432672a2a8b3b2bd1bab7d24e75e1a6d4b6 /config.w32 | |
parent | b0d71823a0f031ad1c04be30f22653177139da0b (diff) |
Remove support for detached threads. All threads must be joined.
Diffstat (limited to 'config.w32')
-rw-r--r-- | config.w32 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config.w32 b/config.w32 index 2ef122b630..3665a9689f 100644 --- a/config.w32 +++ b/config.w32 @@ -42,7 +42,6 @@ if (PHP_GRPC != "no") { "src\\core\\lib\\gpr\\sync.cc " + "src\\core\\lib\\gpr\\sync_posix.cc " + "src\\core\\lib\\gpr\\sync_windows.cc " + - "src\\core\\lib\\gpr\\thd.cc " + "src\\core\\lib\\gpr\\thd_posix.cc " + "src\\core\\lib\\gpr\\thd_windows.cc " + "src\\core\\lib\\gpr\\time.cc " + |