diff options
author | Jim King <jsking@google.com> | 2017-05-24 13:55:59 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-24 13:55:59 -0700 |
commit | 49edcb308e0f7c94158493742dde7b71c9a9bd26 (patch) | |
tree | d14ad5261bba48469db1530ab5f047d78889b0bb /config.m4 | |
parent | 814d884770980f36a63de9081ba5469ba7eeaa92 (diff) | |
parent | 364cceb0f9f8ae8a3572afff9f521dc69721f3de (diff) |
Merge pull request #10920 from Vizerai/intrusive_hash_map
Intrusive hash map
Diffstat (limited to 'config.m4')
-rw-r--r-- | config.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -322,6 +322,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 \ |