From 9011191a700366a72ce2c66867973ef7446db61a Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <jaisnan@amazon.com>
Date: Wed, 31 Jul 2024 01:20:00 +0000
Subject: [PATCH] Add `set -e` to ensure that CI breaks if scripts break

---
 scripts/check_kani.sh  | 2 ++
 scripts/check_rustc.sh | 2 ++
 2 files changed, 4 insertions(+)

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