3 files changed, 7 insertions, 1 deletions
diff --git a/tools/check b/tools/check
index a6c5d20..3a8c822 100755
--- a/tools/check
+++ b/tools/check
@@ -1,8 +1,10 @@
 #!/bin/sh
 
+set -e
+
 types="Debug Release Coverage"
 
-mkdir build
+mkdir -p build
 cd build
 
 for type in $types
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
diff --git a/tools/tests b/tools/tests
index 66ac467..0455070 100755
--- a/tools/tests
+++ b/tools/tests
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 types=$*
 
 for type in $types