diff options
| author |  yang-g <yangg@google.com> | 2017-01-11 23:01:24 -0800 |
|---|---|---|
| committer | yang-g <yangg@google.com> | 2017-01-11 23:01:24 -0800 |
| commit | a2341eaed05cb5713dc95ff52fe59730a006f389 (patch) | |
| tree | 65fbf1abcb39f498945fc9c729344d3fc854c3f4 /tools/distrib/check_copyright.py | |
| parent | 43dc9ed3b7faf24c02896b2307739630a3c92154 (diff) | |
omg it is 2017
Diffstat (limited to 'tools/distrib/check_copyright.py')
| -rwxr-xr-x | tools/distrib/check_copyright.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 718bb563f3..c993407eb2 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -90,6 +90,7 @@ LICENSE_PREFIX = { 'Makefile': r'#\s*', 'Dockerfile': r'#\s*', 'LICENSE': '', + 'BUILD': r'#\s*', } _EXEMPT = frozenset(( |