diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-12-20 23:32:28 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-12-20 23:32:28 +0300 |
commit | 1c4c56b885d1000aa27d60b73bfb0221d6e392f0 (patch) | |
tree | dbf2a2671923f91fb544b8cba84f0f307dd4d6fe | |
parent | 27bf3ab4402907aab772a3785b4fd27adf0214cc (diff) |
Meta/round: make it easier to find the beginning of each task
-rwxr-xr-x | round | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -19,12 +19,15 @@ set -- $default $more for t do + echo "----- >8 -----" >&2 case "$skip" in *" $t "*) echo "Skipping $t" >&2 continue ;; esac + echo "Running $t" >&2 + case "$t" in address | undefined | address,undefined) SANITIZE=$t \ |