Indent script: Do not use --diff-filter=d

This hopefully fixes some compatibility issues with ancient git versions
not supporting the --diff-filter option.

Closes #9489

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 57c5c0d9b0276b1ffff35c9526308ad75e318c12..aeca8a4fe0a3a6c293afd42df977e68f7796f31c 100644 (file)
--- a/contrib/utilities/indent_common.sh
+++ b/contrib/utilities/indent_common.sh
@@ -307,8 +307,9 @@ process_changed()
   esac
 
   ( git ls-files --others --exclude-standard -- ${1};
-    git diff --name-only --diff-filter=d $COMMON_ANCESTOR_WITH_MASTER -- ${1} )|
+    git diff --name-only $COMMON_ANCESTOR_WITH_MASTER -- ${1} )|
       sort -u |
+      xargs -n 1 ls -d 2>/dev/null |
       grep -E "^${2}$" |
       ${XARGS} '\n' -n 1 -P 10 -I {} bash -c "${3} {}"
 }