diff options
-rw-r--r-- | jenkins-helpers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 6119bab5..32f583ca 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -1154,7 +1154,7 @@ run_step () echo "RUNNING ${step[@]}; see tail -f $run_step_artifacts/console.log" run_step_status=0 - eval "if $run_step_verbose; then set -x; else set +x; fi; ${step[@]}" 2>&1 | tee -a $run_step_top_artifacts/console.log > $run_step_artifacts/console.log & + eval "if $run_step_verbose; then set -x; else set +x; fi; ${step[@]}" 2>&1 | ts -s "%T" | tee -a $run_step_top_artifacts/console.log > $run_step_artifacts/console.log & wait $! || run_step_status=$? case "$run_step_status:$run_mode" in |