Ignore symlinks and directories editorconfig CI script

pull/3626/head
Jelte Fennema 2020-03-19 11:13:20 +01:00
parent 605b901637
commit a3513c8902
1 changed files with 1 additions and 0 deletions

View File

@ -4,6 +4,7 @@ for f in $(git ls-tree -r HEAD --name-only); do
if [ "$f" = "${f%.out}" ] &&
[ "$f" = "${f%.data}" ] &&
[ "$f" = "${f%.png}" ] &&
[ -f "$f" ] &&
[ "$(echo "$f" | cut -d / -f1)" != "vendor" ] &&
[ "$(dirname "$f")" != "src/test/regress/output" ]
then