summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2023-03-07 13:45:34 -0800
committerJunio C Hamano <gitster@pobox.com>2023-03-07 13:45:34 -0800
commitdb2ba41c72091c3935de9a9e9057644d9a61dec0 (patch)
tree4fee848f2bf2fbd0118b561d40c7304138fcd3fa
parent47c1fc158a7bea84c71df8973d39f752c79f93ef (diff)
downloadgit-db2ba41c72091c3935de9a9e9057644d9a61dec0.tar.gz
Meta/round: clean after running leaks and sparse
-rwxr-xr-xround7
1 files changed, 5 insertions, 2 deletions
diff --git a/round b/round
index 6ba348a839..49330f5172 100755
--- 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"