diff options
| -rwxr-xr-x | .ci/scripts/format/script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/scripts/format/script.sh b/.ci/scripts/format/script.sh index 572fa9ffb..c22398de0 100755 --- a/.ci/scripts/format/script.sh +++ b/.ci/scripts/format/script.sh @@ -25,7 +25,7 @@ for f in $FILES_TO_LINT; do "$CLANG_FORMAT" -i "$f" done -DIFF=$(git diff) +DIFF=$(git -c core.fileMode=false diff) if [ ! -z "$DIFF" ]; then echo "!!! Not compliant to coding style, here is the fix:" |