Skip to content

Commit

Permalink
Don't run ocp-indent on mly files. See the issue
Browse files Browse the repository at this point in the history
  • Loading branch information
Halbaroth committed Aug 29, 2023
1 parent 80ace04 commit 089d732
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rsc/extra/pre-commit--git-hook
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ exec 1>&2

# Reindent files using ocp-indent
errors=0
files=$(git diff --cached --name-only --diff-filter=ACMR -z HEAD | grep -Ez '\.ml[ily]?$' | xargs -0)
files=$(git diff --cached --name-only --diff-filter=ACMR -z HEAD | grep -Ez '\.ml[i]?$' | xargs -0)
for f in $files; do
cmp -s <(git show ":$f") <(git show ":$f" | ocp-indent)
if [[ $? -ne 0 ]]; then
Expand Down

0 comments on commit 089d732

Please sign in to comment.