Don't check formatting on generator/
This commit is contained in:
parent
cc0a54dbdb
commit
8828f2ad82
|
@ -10,7 +10,7 @@ base_commit=$(git rev-parse $TRAVIS_BRANCH)
|
|||
echo "Formatting against $TRAVIS_BRANCH a.k.a. $base_commit..."
|
||||
echo
|
||||
|
||||
skipped_directories="(examples|src/tests/(unittests|end2end)|third_party)"
|
||||
skipped_directories="(examples|generator|src/tests/(unittests|end2end)|third_party)"
|
||||
# Find the files modified that need formatting
|
||||
files_to_check=$(git diff --name-only $base_commit | grep -E "*.(c|cpp|mm|h)$" | grep -vE "^$skipped_directories/*")
|
||||
if [ -z "$files_to_check" ]; then
|
||||
|
|
Loading…
Reference in New Issue