diff options
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(( |