diff options
| author |  Yuchen Zeng <zyc@google.com> | 2016-06-06 14:21:11 -0700 |
|---|---|---|
| committer | Yuchen Zeng <zyc@google.com> | 2016-06-06 14:35:51 -0700 |
| commit | 7ae31a88980cba5e7e0173cad91e62dbfe1b0374 (patch) | |
| tree | 8156bd4c5a58c2ae55382ef4fdcfd8fac8d13d9d /tools/run_tests/sanity | |
| parent | 0601df3a04a91e5e731e829989fd93290e301d97 (diff) | |
Add more comments, fix format issues
Diffstat (limited to 'tools/run_tests/sanity')
| -rwxr-xr-x | tools/run_tests/sanity/check_sources_and_headers.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/run_tests/sanity/check_sources_and_headers.py b/tools/run_tests/sanity/check_sources_and_headers.py index 0eb804eb5b..c028499ca6 100755 --- a/tools/run_tests/sanity/check_sources_and_headers.py +++ b/tools/run_tests/sanity/check_sources_and_headers.py @@ -57,9 +57,6 @@ 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): |