diff options
author | Aaron Franke <arnfranke@yahoo.com> | 2022-01-05 17:53:08 -0800 |
---|---|---|
committer | Aaron Franke <arnfranke@yahoo.com> | 2022-01-05 18:30:27 -0800 |
commit | 4cdc75915f1643c3cdaadccdfcaf12d62e01e7ab (patch) | |
tree | 4d30c6da03926c5b9961911b2bf130d1d69fe749 /misc/scripts | |
parent | 3662105f8bd8c897caf625e44195bdfc7bdaf0f9 (diff) |
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.
Diffstat (limited to 'misc/scripts')
-rwxr-xr-x | misc/scripts/file_format.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/scripts/file_format.sh b/misc/scripts/file_format.sh index b241f3da70..e66bc88bc0 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" == *".out" ]]; then # GDScript integration testing files. continue |