diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-06 08:22:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-06 08:22:08 +0100 |
| commit | 98693e96ae0dea9c7fe1b78b7b04961fc73f37a6 (patch) | |
| tree | 4d30c6da03926c5b9961911b2bf130d1d69fe749 | |
| parent | 3662105f8bd8c897caf625e44195bdfc7bdaf0f9 (diff) | |
| parent | 4cdc75915f1643c3cdaadccdfcaf12d62e01e7ab (diff) | |
Merge pull request #56542 from aaronfranke/format-no-bat
Skip formatting `.bat` files in `file_format.sh`
| -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 |