Set errexit bash option to terminate contrib setup scripts on error

stanford-centaur · Feb 7, 2024 · 83eb6cf · 83eb6cf
1 parent bd8a849
commit 83eb6cf
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 0 deletions.
diff --git 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-bitwuzla.sh b/contrib/setup-bitwuzla.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 BITWUZLA_VERSION=6e46391816b4baf8c9fc0b8c0c1d2fbe63b6f30e
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"

diff --git a/contrib/setup-btor.sh b/contrib/setup-btor.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 BTOR_VERSION=97698b06a5de1a4e5743c034c867d384630dc936
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"

diff --git a/contrib/setup-cvc5.sh b/contrib/setup-cvc5.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-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-z3.sh b/contrib/setup-z3.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 Z3_VERSION=6cc52e04c3ea7e2534644a285d231bdaaafd8714