Tweak to pre-commit hook

2021-06-04 15:52:32 +02:00 · 2021-06-04 15:52:32 +02:00 · f14b902f24
parent 139f4ff08b
commit f14b902f24
1 changed files with 1 additions and 0 deletions
--- a/git-hooks/pre-commit
+++ b/git-hooks/pre-commit
@ -1,5 +1,6 @@
 #!/bin/sh

+set -e
 exec 1>&2

 # Ensure that various copies of schema.prs are in fact identical.