diff options
| author |  Yuchen Zeng <zyc@google.com> | 2016-08-11 21:21:32 -0700 |
|---|---|---|
| committer | Yuchen Zeng <zyc@google.com> | 2016-08-11 21:21:59 -0700 |
| commit | f64bf28e87356ca2ea26dfcfcb576de565180ad0 (patch) | |
| tree | 5b0955cb4767a963aa6cf4997402fa7711ff756a /tools/distrib/check_copyright.py | |
| parent | d790dd6a5cb116245a8054692a1e10713d7512ac (diff) | |
Build c-ares without running ./configure
Diffstat (limited to 'tools/distrib/check_copyright.py')
| -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 4577ab3d11..3757c90afd 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -108,7 +108,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: |