diff options
Diffstat (limited to 'misc/scripts/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 |