1 files changed, 2 insertions, 0 deletions
diff --git a/tools/checkcov b/tools/checkcov
index 3d9fedf..c228c2f 100755
--- a/tools/checkcov
+++ b/tools/checkcov
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 cd build/$1
 
 case "$1" in