jenkins-scripts.sh: Consistently use "set -euf -o pipefail".

Change-Id: Ib884d086e12c9b4441884d864d6d0dbbd144b431

1 files changed, 12 insertions, 0 deletions

diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh
index 4247f058..f96c928f 100644
--- a/jenkins-helpers.sh
+++ b/jenkins-helpers.sh
@@ -113,6 +113,9 @@ print_tester_label_for_target ()
 # E.g., remote_exec dev-01.tcwglab::/tmp find -name "my file.bak"
 remote_exec ()
 {
+    (
+    set -euf -o pipefail
+
     local host="$(echo $1 | cut -d: -f 1)"
     local port="$(echo $1 | cut -s -d: -f 2)"
     local dir="$(echo $1 | cut -s -d: -f 3)"
@@ -122,6 +125,7 @@ remote_exec ()
     # Add quotes to every parameter
     for i in "$@"; do cmd+=($(printf '%q' "$i")); done
     ssh ${port:+-p$port} $host "${dir:+cd "$(printf '%q' "$dir")" &&} exec ${cmd[@]}"
+    )
 }
 
 # Clone or update a git repo
@@ -130,6 +134,9 @@ remote_exec ()
 # $3 -- master git repo
 clone_or_update_repo ()
 {
+    (
+    set -euf -o pipefail
+
     local dir="$1"
     local ref="$2"
     local url="$3"
@@ -160,6 +167,7 @@ clone_or_update_repo ()
 	git clean -dfx
 	git checkout --detach "$sha1"
     )
+    )
 }
 
 # Wget files from URL that may have wildcards; only the last "basename"
@@ -169,6 +177,9 @@ clone_or_update_repo ()
 # $2,... -- additional parameters to wget
 wget_wildcard_url ()
 {
+    (
+    set -eu -o pipefail
+
     local url="$1"
     shift
 
@@ -189,4 +200,5 @@ wget_wildcard_url ()
     rm -rf "$tmpdir"
 
     return $count
+    )
 }