commit af387e0ce1b347a75a0956d0d77aa3f083b805d3
author Gilles Peskine <Gilles.Peskine@arm.com> Sun Apr 26 00:33:13 2020 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Sun Apr 26 00:43:56 2020 +0200
tree 71c30116197840977cd1c59e660a7e6a6ab3f71a
parent 129d04169a1a0070b1eced5e3a2ca48366f6d2e9

check-files: support Windows .bat files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

tests/scripts/check-files.py

diff --git a/tests/scripts/check-files.py b/tests/scripts/check-files.py
index 7474ac7..e8abd75 100755
--- a/tests/scripts/check-files.py
+++ b/tests/scripts/check-files.py
@@ -103,7 +103,7 @@
 
 def is_windows_file(filepath):
     _root, ext = os.path.splitext(filepath)
-    return ext in ('.dsp', '.sln', '.vcxproj')
+    return ext in ('.bat', '.dsp', '.sln', '.vcxproj')
 
 
 class PermissionIssueTracker(FileIssueTracker):
@@ -224,6 +224,7 @@
         self.logger = None
         self.setup_logger(log_file)
         self.extensions_to_check = (
+            ".bat",
             ".c",
             ".data",
             ".dsp",