diff options
| author | Charles Lombardo <clombardo169@gmail.com> | 2024-01-11 19:58:41 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-11 19:58:41 -0500 |
| commit | a4d90a9a64cd1040efc64efc96700911407e7db9 (patch) | |
| tree | c1a1fd81328111e198a7233c2ab639177a18ccdd | |
| parent | 6533dfd7cede9ff84b7047e887b2ff86303c964a (diff) | |
| parent | 84787a2adaa58794ff72627ec2231da863b104c1 (diff) | |
Merge pull request #12653 from liamwhite/once-more
ci: fix file mode check in format script
| -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:" |