diff --git a/scripts/build_verifier.sh b/scripts/build_verifier.sh
index 13768d8c..cfc2a92d 100755
--- a/scripts/build_verifier.sh
+++ b/scripts/build_verifier.sh
@@ -1,4 +1,4 @@
-#!/bin/bash -e
+#!/bin/bash -ex
 
 mkdir -p ../build
 cd ../build
diff --git a/scripts/do_setup.sh b/scripts/do_setup.sh
index 5aa4bef6..c76d501b 100755
--- a/scripts/do_setup.sh
+++ b/scripts/do_setup.sh
@@ -1,4 +1,4 @@
-#!/bin/bash -e
+#!/bin/bash -ex
 
 mkdir -p ../build
 cd ../build