diff options
| author |  David Garcia Quintas <dgq@google.com> | 2016-08-01 14:52:02 -0700 |
|---|---|---|
| committer | David Garcia Quintas <dgq@google.com> | 2016-08-01 14:52:02 -0700 |
| commit | 62105352beec527b28313ad055264731461b5b61 (patch) | |
| tree | 71ceefebcc7d36eccf34cf61cec164748802e39a /tools/run_tests/sanity/check_sources_and_headers.py | |
| parent | 5dde14ce433ebfb6444e49d31764138a855ac997 (diff) | |
| parent | 2507fef7379aa54cbced074f1b1e7ba3b53eae26 (diff) | |
Merge branch 'master' of github.com:grpc/grpc into lr_july_16
Diffstat (limited to 'tools/run_tests/sanity/check_sources_and_headers.py')
| -rwxr-xr-x | tools/run_tests/sanity/check_sources_and_headers.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/run_tests/sanity/check_sources_and_headers.py b/tools/run_tests/sanity/check_sources_and_headers.py index c028499ca6..28c1dc46d7 100755 --- a/tools/run_tests/sanity/check_sources_and_headers.py +++ b/tools/run_tests/sanity/check_sources_and_headers.py @@ -55,7 +55,8 @@ def target_has_header(target, name): for dep in target['deps']: if target_has_header(get_target(dep), name): return True - if name == 'src/core/lib/profiling/stap_probes.h': + if name in ['src/core/lib/profiling/stap_probes.h', + 'src/proto/grpc/reflection/v1alpha/reflection.grpc.pb.h']: return True return False |