diff options
author | 2017-03-24 14:52:04 -0700 | |
---|---|---|
committer | 2017-03-24 14:52:04 -0700 | |
commit | f466ae116e7b9804458129e95d790e7f20042ffc (patch) | |
tree | 665cdc249fb47868eee5b9e56093b9083e6a3c8a /tools/distrib | |
parent | 7e6b7df8d6bbb80c19ae1736e0c35b4eab06c541 (diff) | |
parent | 0e8bc45783a6f5e310f3f7829bedb328507cca2e (diff) |
Merge pull request #7771 from y-zeng/cares_buildin
Async DNS resolver with pre-configured c-ares
Diffstat (limited to 'tools/distrib')
-rwxr-xr-x | tools/distrib/check_copyright.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 611a9f40ae..2eb5b5b4a8 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -125,7 +125,9 @@ RE_LICENSE = dict( if args.precommit: FILE_LIST_COMMAND = 'git status -z | grep -Poz \'(?<=^[MARC][MARCD ] )[^\s]+\'' else: - FILE_LIST_COMMAND = 'git ls-tree -r --name-only -r HEAD | grep -v ^third_party/' + FILE_LIST_COMMAND = 'git ls-tree -r --name-only -r HEAD | ' \ + 'grep -v ^third_party/ |' \ + 'grep -v "\(ares_config.h\|ares_build.h\)"' def load(name): with open(name) as f: |