diff --git a/ci_scripts/all_tests.sh b/ci_scripts/all_tests.sh
index 4378108..352c451 100755
--- a/ci_scripts/all_tests.sh
+++ b/ci_scripts/all_tests.sh
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 
 # https://vaneyckt.io/posts/safer_bash_scripts_with_set_euxo_pipefail/
-set -euxo pipefail
+set -exo pipefail
 
 if [ -z "${ROC}" ]; then
   echo "ERROR: The ROC environment variable is not set.