]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Meta/round: make it easier to find the beginning of each task
authorJunio C Hamano <gitster@pobox.com>
Wed, 20 Dec 2023 20:32:28 +0000 (12:32 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 20 Dec 2023 20:32:28 +0000 (12:32 -0800)
round

diff --git a/round b/round
index ed55bc524624ec95eae46f516b387507ced60e12..462919aafc8d8aab96f6c6e3bf732d2a80af3d4f 100755 (executable)
--- a/round
+++ b/round
@@ -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 \