diff --git a/check_tools.sh b/check_tools.sh
index 4ab4a3c0c3cbe4f8a9d59f390c1d02b5b802e1ab..00027cfd58953a5a88493f39f777aea34b7f1184 100644
--- a/check_tools.sh
+++ b/check_tools.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 check_tool() {
     local cmd="$1"
     local version_cmd="$2"