diff options
| author |  Yuchen Zeng <zyc@google.com> | 2016-05-25 07:18:57 -0700 |
|---|---|---|
| committer | Yuchen Zeng <zyc@google.com> | 2016-05-25 07:18:57 -0700 |
| commit | c92fe25af5b29f0cb54b06bdcd768a98d749d7b7 (patch) | |
| tree | 0563779b40d17cbe86bf8e153f208b5cfc3be310 /tools/run_tests/sanity | |
| parent | 46bf1467c5d070c5ff72a33fb60ef5c5bb45f71c (diff) | |
Add mutex for stream in ProtoReflectionDescriptorDatabase, fix headers check
Diffstat (limited to 'tools/run_tests/sanity')
| -rwxr-xr-x | tools/run_tests/sanity/check_sources_and_headers.py | 3 |
1 files changed, 3 insertions, 0 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..0eb804eb5b 100755 --- a/tools/run_tests/sanity/check_sources_and_headers.py +++ b/tools/run_tests/sanity/check_sources_and_headers.py @@ -57,6 +57,9 @@ def target_has_header(target, name): return True if name == 'src/core/lib/profiling/stap_probes.h': return True + if not name.startswith('extensions') \ + and target_has_header(target, 'extensions/' + name): + return True return False def produces_object(name): |