diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py
index 68411c631df79f0fa908bc7f1be30a07105f47f3..4577ab3d11d4543e8fa89d502b5177735954ab7c 100755
--- 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*',