diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-12-20 12:32:28 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-12-20 12:32:28 -0800 |
commit | 1c4c56b885d1000aa27d60b73bfb0221d6e392f0 (patch) | |
tree | dbf2a2671923f91fb544b8cba84f0f307dd4d6fe | |
parent | 27bf3ab4402907aab772a3785b4fd27adf0214cc (diff) | |
download | git-1c4c56b885d1000aa27d60b73bfb0221d6e392f0.tar.gz |
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 \ |