diff --git a/Jenkinsfile.deploy b/Jenkinsfile.deploy index d15bb8f..86e116e 100644 --- a/Jenkinsfile.deploy +++ b/Jenkinsfile.deploy @@ -77,6 +77,7 @@ node('multiarch-' + env.BASHBREW_ARCH) { ansiColor('xterm') { set -Eeuo pipefail commands=( ${ shell } ) + """ + ''' for c in "${commands[@]}"; do tries=3 while ! output="$( { $c; } |& tee /dev/stderr )"; then @@ -94,7 +95,7 @@ node('multiarch-' + env.BASHBREW_ARCH) { ansiColor('xterm') { fi fi done - """ + ''' } } } }