1 files changed, 3 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