]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Meta/round: clean after running leaks and sparse
authorJunio C Hamano <gitster@pobox.com>
Tue, 7 Mar 2023 21:45:34 +0000 (13:45 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 7 Mar 2023 21:45:34 +0000 (13:45 -0800)
round

diff --git a/round b/round
index 6ba348a8396fcfe75f928ae7058a0606b51f5c02..49330f5172f3d301a24f2093629afb2ab55a31b9 100755 (executable)
--- a/round
+++ b/round
@@ -32,13 +32,16 @@ do
                ;;
        leaks)
                SANITIZE=leak \
-               GIT_TEST_PASSING_SANITIZE_LEAK=true Meta/Make -j16 test
+               GIT_TEST_PASSING_SANITIZE_LEAK=true Meta/Make -j16 test &&
+               SANITIZE=leak \
+               GIT_TEST_PASSING_SANITIZE_LEAK=true Meta/Make -j16 clean
                ;;
        coccicheck)
                SPATCH_FLAGS=--recursive-includes Meta/Make -j16 "$t"
                ;;
        sparse)
-               Meta/Make -j16 -- NO_REGEX=NoThanks SPARSE_FLAGS=-Wsparse-error "$t"
+               Meta/Make -j16 -- NO_REGEX=NoThanks SPARSE_FLAGS=-Wsparse-error "$t" &&
+               Meta/Make -j16 -- NO_REGEX=NoThanks clean >/dev/null 2>&1
                ;;
        *)
                Meta/Make -j16 "$t"