diff options
author | Vizerai <jsking@google.com> | 2017-05-23 16:13:25 -0700 |
---|---|---|
committer | Vizerai <jsking@google.com> | 2017-05-23 16:13:25 -0700 |
commit | c1947ef5700f4431b77728ab12be8186c1e58eb5 (patch) | |
tree | 9cb6f86623dc535522cc65e611e5e402557cc891 /config.w32 | |
parent | d74dbd3889d4cbd3f756d0d6392569bf358a88d8 (diff) |
update
Diffstat (limited to 'config.w32')
-rw-r--r-- | config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.w32 b/config.w32 index 0d82f9d757..7c407e848a 100644 --- a/config.w32 +++ b/config.w32 @@ -299,6 +299,7 @@ if (PHP_GRPC != "no") { "src\\core\\ext\\census\\grpc_filter.c " + "src\\core\\ext\\census\\grpc_plugin.c " + "src\\core\\ext\\census\\initialize.c " + + "src\\core\\ext\\census\\intrusive_hash_map.c " + "src\\core\\ext\\census\\mlog.c " + "src\\core\\ext\\census\\operation.c " + "src\\core\\ext\\census\\placeholders.c " + |