commit 86e5816dda70054c4fc59b5ad807f5d840b240c2
author Gilles Peskine <Gilles.Peskine@arm.com> Sun Apr 26 00:33:13 2020 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Mon Apr 27 11:27:39 2020 +0200
tree 827e9ff1ac73a5dfc278352db013f9742a94cb3f
parent e4fdfc499c00dc1490472a6304493a697254a50e

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 e16c916..2cf6081 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):
@@ -223,6 +223,7 @@
         self.logger = None
         self.setup_logger(log_file)
         self.extensions_to_check = (
+            ".bat",
             ".c",
             ".data",
             ".dsp",