diff options
| -rwxr-xr-x | sbo-batch-test | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/sbo-batch-test b/sbo-batch-test index 1d68844..ac3297c 100755 --- a/sbo-batch-test +++ b/sbo-batch-test @@ -816,7 +816,7 @@ depends_on_failed() { # ============================================================================= print_summary() { local total=$SECONDS - local succ=0 fail=0 blocked=0 + local succ=0 fail=0 blocked=0 cached=0 local summary="$RUN_DIR/summary.log" { @@ -834,6 +834,7 @@ print_summary() { local col="$C_YEL" case "$st" in SUCCESS) col="$C_GRN"; ((succ++)) ;; + CACHED) col="$C_GRN"; ((cached++)) ;; BLOCKED-BY-DEP|UNMET-DEP) col="$C_YEL"; ((blocked++)) ;; *) col="$C_RED"; ((fail++)) ;; esac @@ -841,12 +842,13 @@ print_summary() { printf "%-30s %-16s %s%s (%ss)\n" "$key" "$st" "$rsn" "$rd" "$t" >> "$summary" done echo "----------------------------------------" - printf "%s%d succeeded%s, %s%d failed%s, %s%d blocked%s, total %ss\n" \ - "$C_GRN" "$succ" "$C_RST" "$C_RED" "$fail" "$C_RST" "$C_YEL" "$blocked" "$C_RST" "$total" + printf "%s%d succeeded%s, %s%d failed%s, %s%d blocked%s, %s%d cached%s, total %ss\n" \ + "$C_GRN" "$succ" "$C_RST" "$C_RED" "$fail" "$C_RST" "$C_YEL" "$blocked" "$C_RST" \ + "$C_GRN" "$cached" "$C_RST" "$total" echo "logs: $RUN_DIR" { echo - echo "$succ succeeded, $fail failed, $blocked blocked, total ${total}s" + echo "$succ succeeded, $fail failed, $blocked blocked, $cached cached, total ${total}s" echo "logs: $RUN_DIR" } >> "$summary" } |