diff options
author | Vizerai <jsking@google.com> | 2017-04-28 20:06:58 -0700 |
---|---|---|
committer | Vizerai <jsking@google.com> | 2017-04-28 20:06:58 -0700 |
commit | 0359e1260f99387c79d1ef67de0447b1208fb785 (patch) | |
tree | f7fc70d01acb15a508f0e858319d8f7d52fe9da1 /config.m4 | |
parent | 365c52b47e8d322dfc0bdf15ddea2b598f3b4dbb (diff) |
initial commit
Diffstat (limited to 'config.m4')
-rw-r--r-- | config.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -315,6 +315,7 @@ if test "$PHP_GRPC" != "no"; then 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 \ |