diff options
author | Riteo Siuga <riteo@posteo.net> | 2022-11-13 00:46:13 +0100 |
---|---|---|
committer | Riteo Siuga <riteo@posteo.net> | 2022-11-13 01:05:55 +0100 |
commit | 10eaf0c52bcec565df46a90ceeebe59d52c8cbff (patch) | |
tree | 9a0e6056e90a2c5f0001184284fe70270ec21b9f /misc/scripts | |
parent | b61fda9d2a6166e41538405ad8ae24f1aed40570 (diff) |
Add an exception for thirdparty subdirectories in file_format.sh
This exception is also present in clang_format.sh and is needed in some
cases.
Diffstat (limited to 'misc/scripts')
-rwxr-xr-x | misc/scripts/file_format.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/misc/scripts/file_format.sh b/misc/scripts/file_format.sh index 1200b96ea0..a2f33692f9 100755 --- a/misc/scripts/file_format.sh +++ b/misc/scripts/file_format.sh @@ -31,7 +31,9 @@ while IFS= read -rd '' f; do continue elif [[ "$f" == *"po" ]]; then continue - elif [[ "$f" == "thirdparty"* ]]; then + elif [[ "$f" == "thirdparty/"* ]]; then + continue + elif [[ "$f" == *"/thirdparty/"* ]]; then continue elif [[ "$f" == "platform/android/java/lib/src/com/google"* ]]; then continue |