external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Ignore symlinks and directories editorconfig CI script 

(cherry picked from commit a3513c8902)
pull/3647/head
Jelte Fennema 2020-03-19 11:13:20 +01:00
parent 913978235a
commit e91be43de1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ci/editorconfig.sh
View File

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