diff options
Diffstat (limited to 'dev/tools/pre-commit')
-rwxr-xr-x | dev/tools/pre-commit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/tools/pre-commit b/dev/tools/pre-commit index dfa95bac..ad2f2f93 100755 --- a/dev/tools/pre-commit +++ b/dev/tools/pre-commit @@ -5,6 +5,8 @@ set -e +dev/tools/check-overlays.sh + if ! git diff --cached --name-only -z | xargs -0 dev/tools/check-eof-newline.sh || ! git diff-index --check --cached HEAD >/dev/null 2>&1 ; then |