From f6090226dcdbc723213ba0ea2e2095b22e2c5f80 Mon Sep 17 00:00:00 2001
From: Aaron Franke <arnfranke@yahoo.com>
Date: Wed, 5 Jan 2022 17:53:08 -0800
Subject: [PATCH] Skip formatting .bat files in file_format.sh

These are supposed to have CRLF because Windows, so we'll just skip this file type in the script.

(cherry picked from commit 4cdc75915f1643c3cdaadccdfcaf12d62e01e7ab)
---
 misc/scripts/file_format.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/misc/scripts/file_format.sh b/misc/scripts/file_format.sh
index be84daa7f4d..07a9a070f37 100755
--- a/misc/scripts/file_format.sh
+++ b/misc/scripts/file_format.sh
@@ -20,6 +20,8 @@ while IFS= read -rd '' f; do
         continue
     elif [[ "$f" == *"sln" ]]; then
         continue
+    elif [[ "$f" == *".bat" ]]; then
+        continue
     elif [[ "$f" == *"patch" ]]; then
         continue
     elif [[ "$f" == *"pot" ]]; then