diff --git a/git-hooks/pre-commit b/git-hooks/pre-commit
index 0c6a4e5..a558faf 100755
--- 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.