diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-15 16:24:13 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-15 16:24:13 +0100 |
| commit | ac99a448b69818877342282b40d6656d3f1dfdf3 (patch) | |
| tree | 30db177565b19ad7ec35f085c126e630e6f15789 | |
| parent | e2b60798fe16f5a234e178b968504d7328bc6c32 (diff) | |
| parent | 10eaf0c52bcec565df46a90ceeebe59d52c8cbff (diff) | |
Merge pull request #68587 from Riteo/file-check-exception
Add an exception for thirdparty subdirectories in file_format.sh
| -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 |