diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2020-03-05 11:18:54 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2020-03-11 10:23:24 +0000 |
commit | 73c89ab411102bb4627505de7a617ee8fe372657 (patch) | |
tree | bf73c4da7956978bef68f3c40a81d7f3ab358a6e /jenkins-helpers.sh | |
parent | 170d72fbc6ea94f1224e460d2e34a6b13f018f0a (diff) |
Add annotations to round-robin's "results" file
Annotations provide human-readable comments and data on regressions.
For this we ignore all lines in "results" file starting with "#".
Change-Id: I31328fe2c13895a7379137b00891a9d2fc0a39d7
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 e2964772..aea10d88 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -1264,7 +1264,7 @@ run_step () if [ x"$run_step_status" = x"0" -a x"$success_result" != x"x" ]; then cat >> $run_step_top_artifacts/results <<EOF -${step[@]}: +# ${step[@]}: $success_result EOF fi |