diff options
author | Christophe Lyon <christophe.lyon@linaro.org> | 2019-03-26 13:40:57 +0000 |
---|---|---|
committer | Christophe Lyon <christophe.lyon@linaro.org> | 2019-03-27 10:14:14 +0000 |
commit | 9a3008b40cc987ef4caa06e99903260553584fd7 (patch) | |
tree | 6435d9e364026991bec4accbd94fa662ada0441d /jenkins-helpers.sh | |
parent | 870d69a48c85935071b55dabdbc76b23cbe8efe3 (diff) |
jenkins-helpers.sh: run_step: Use 'ts'
To add timestamps in console.log files. This will hopefully help
finding which steps use most of the time.
Change-Id: I25cd487f9ddee619cb8f6adb81777541ee9bf959
Diffstat (limited to 'jenkins-helpers.sh')
-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 |