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