diff options
author | 2016-09-23 09:47:01 -0700 | |
---|---|---|
committer | 2016-09-23 09:47:01 -0700 | |
commit | 1a2e6ac10dbdb3984b4f651ffb042a22269e26c5 (patch) | |
tree | f86a718f6f48906a601fef3fd04e761bdd1a4771 /tools/distrib/check_copyright.py | |
parent | 3c09810ac95d7aac9eb13e09ae6c59a68fc1217e (diff) | |
parent | 942c264861dedd8020fc18d65933e8f4f57e3e46 (diff) |
Merge remote-tracking branch 'upstream/master' into deadline_filter
Diffstat (limited to 'tools/distrib/check_copyright.py')
-rwxr-xr-x | tools/distrib/check_copyright.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 4577ab3d11..f06e5f1d1a 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -157,7 +157,7 @@ for filename in filename_list: m = re.search(re_license, text) if m: pass - elif 'DO NOT EDIT' not in text and 'AssemblyInfo.cs' not in filename and filename != 'src/boringssl/err_data.c': + elif 'DO NOT EDIT' not in text and filename != 'src/boringssl/err_data.c': log(1, 'copyright missing', filename) ok = False |