check for copyright in .bat files

9 years ago · fdb8931e47
parent ebf66403aa
commit fdb8931e47
1 changed files with 1 additions and 0 deletions
--- a/tools/distrib/check_copyright.py
+++ b/tools/distrib/check_copyright.py
@ -71,6 +71,7 @@ with open('LICENSE') as f:
 # that given a line of license text, returns what should
 # be in the file
 LICENSE_PREFIX = {
+  '.bat':       r'@rem\s*',
  '.c':         r'\s*(?://|\*)\s*',
  '.cc':        r'\s*(?://|\*)\s*',
  '.h':         r'\s*(?://|\*)\s*',