diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
index 03861ea03bf26..f381c1a376c83 100644
--- a/scripts/check_kani.sh
+++ b/scripts/check_kani.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 # Set the working directories
 VERIFY_RUST_STD_DIR="$1"
 KANI_DIR=$(mktemp -d)
diff --git a/scripts/check_rustc.sh b/scripts/check_rustc.sh
index 55ff95b396c24..610f6157b20ce 100644
--- a/scripts/check_rustc.sh
+++ b/scripts/check_rustc.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 # Set the working directory for your local repository
 HEAD_DIR=$1