From a3513c89028ba7d423a4d61b4dd68002eaefeb73 Mon Sep 17 00:00:00 2001
From: Jelte Fennema <github-tech@jeltef.nl>
Date: Thu, 19 Mar 2020 11:13:20 +0100
Subject: [PATCH] Ignore symlinks and directories editorconfig CI script

---
 ci/editorconfig.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/editorconfig.sh b/ci/editorconfig.sh
index 661aec1a7..427c45061 100755
--- a/ci/editorconfig.sh
+++ b/ci/editorconfig.sh
@@ -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