diff --git a/ci-scripts/setup-msat.sh b/ci-scripts/setup-msat.sh
index d992d3e8..bb469d4c 100755
--- a/ci-scripts/setup-msat.sh
+++ b/ci-scripts/setup-msat.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps
diff --git a/contrib/setup-bison.sh b/contrib/setup-bison.sh
index 34a7f43e..c5bd4681 100755
--- a/contrib/setup-bison.sh
+++ b/contrib/setup-bison.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps
diff --git a/contrib/setup-btor2tools.sh b/contrib/setup-btor2tools.sh
index d0d0234c..1d0fa758 100755
--- a/contrib/setup-btor2tools.sh
+++ b/contrib/setup-btor2tools.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 BTOR2TOOLS_VERSION=9831f9909fb283752a3d6d60d43613173bd8af42
 
@@ -29,4 +30,3 @@ else
     echo "Please see their github page for installation instructions: https://github.com/Boolector/btor2tools.git"
     exit 1
 fi
-
diff --git a/contrib/setup-coreir.sh b/contrib/setup-coreir.sh
index 89e84cd1..f1a4254c 100755
--- a/contrib/setup-coreir.sh
+++ b/contrib/setup-coreir.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 COREIR_VERSION=2f5035c6712481346c20c0a9956dc3f880cac1d2
 
@@ -76,4 +77,3 @@ else
     echo "Please see their github page for installation instructions:https://github.com/rdaly525/coreir"
     exit 1
 fi
-
diff --git a/contrib/setup-flex.sh b/contrib/setup-flex.sh
index 9a174d3e..df5e3615 100755
--- a/contrib/setup-flex.sh
+++ b/contrib/setup-flex.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps
diff --git a/contrib/setup-ic3ia.sh b/contrib/setup-ic3ia.sh
index ed3ace68..df0ba2a8 100755
--- a/contrib/setup-ic3ia.sh
+++ b/contrib/setup-ic3ia.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps
diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh
index 4b06884c..ee38fe77 100755
--- a/contrib/setup-smt-switch.sh
+++ b/contrib/setup-smt-switch.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps