Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
bin-devel
/
git.post-merge
blob: 1f477c3a8c992efaa9fe7968c6cef1674232aef4 [
file
] [
log
] [
blame
]
#!/bin/sh
# This file will be used as .git/hooks/post-merge.
# However, it should be edited as checker/bin-devel/git.post-merge.
# Fail if any command fails
set
-
e
# This doesn't seem't necessary.
# ant -e check-style