diff options
| author |  Vijay Pai <vpai@google.com> | 2015-07-15 12:33:37 -0700 |
|---|---|---|
| committer | Vijay Pai <vpai@google.com> | 2015-07-15 12:33:37 -0700 |
| commit | 69f241008645503e1241272f279dc7f02e183e87 (patch) | |
| tree | f0b362239414ee80c6f00a90389ce1c46b100928 /Makefile | |
| parent | e6d12d335c160b02a8f866775ffe953962f5988f (diff) | |
Make thread_pool.h a public header
Rename ThreadPool -> FixedSizeThreadPool to allow for later introduction
of DynamicSizeThreadPool
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -3749,6 +3749,7 @@ PUBLIC_HEADERS_CXX += \ include/grpc++/status.h \ include/grpc++/status_code_enum.h \ include/grpc++/stream.h \ + include/grpc++/thread_pool.h \ include/grpc++/thread_pool_interface.h \ include/grpc++/time.h \ @@ -3990,6 +3991,7 @@ PUBLIC_HEADERS_CXX += \ include/grpc++/status.h \ include/grpc++/status_code_enum.h \ include/grpc++/stream.h \ + include/grpc++/thread_pool.h \ include/grpc++/thread_pool_interface.h \ include/grpc++/time.h \ |