Skip to content

Commit d59d37b

Browse files
committed
pre-commit-hook.sh: Run prelude_rearrange.sh on prelude check failure
1 parent 216bc15 commit d59d37b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

pre-commit-hook.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,8 @@ find . -type f -name '*.sh' \( \
4242
if ! sed -n '2p' "$f" \
4343
| grep -Eq '^\.[[:space:]]+(\.\./)*prelude\.sh$'; then
4444
err "File does not have . prelude.sh on the 2nd line: $f"
45+
err "Running prelude_rearrange.sh"
46+
./StaticAnalysis/prelude_rearrange.sh
4547
exit 2
4648
fi
4749
done

0 commit comments

Comments
 (0)