From f14b902f24c70ca85e74794319d6508a588af283 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 4 Jun 2021 15:52:32 +0200
Subject: [PATCH] Tweak to pre-commit hook

---
 git-hooks/pre-commit | 1 +
 1 file changed, 1 insertion(+)

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.