2023-07-30 21:33:51 +00:00
|
|
|
#!/usr/bin/env sh
|
|
|
|
|
|
|
|
|
|
# Run:
|
|
|
|
|
# ln -s ../../pre-commit.sh .git/hooks/pre-commit
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
# format
|
|
|
|
|
|
|
|
|
|
make format
|
2024-01-22 22:36:41 +00:00
|
|
|
git diff --name-only --cached --diff-filter=d | xargs -l git add
|
2023-07-30 21:33:51 +00:00
|
|
|
# build
|
|
|
|
|
|
|
|
|
|
make build
|
|
|
|
|
|
