Add -o pipefail to bash scripts

This could cause the script to exit successfully even if running hammerdbcli failed, because hammerdbcli output was piped into `tee`.
citusdata · Dec 14, 2021 · ff809eb · ff809eb
1 parent 96a024f
commit ff809eb
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/build-and-run.sh b/build-and-run.sh
@@ -11,6 +11,8 @@ set -u
 set -e
 # echo commands
 set -x
+# fail if a command that is piped fails
+set -o pipefail
 
 if [ $# -eq 4 ] ; then
     version=$1

diff --git a/build.sh b/build.sh
@@ -11,6 +11,8 @@ set -u
 set -e
 # echo commands
 set -x
+# fail if a command that is piped fails
+set -o pipefail
 
 if [ $# -eq 4 ] ; then
     version=$1

diff --git a/run.sh b/run.sh
@@ -11,6 +11,8 @@ set -u
 set -e
 # echo commands
 set -x
+# fail if a command that is piped fails
+set -o pipefail
 
 CH_THREAD_COUNT=1
 RAMPUP_TIME=3