diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-03-07 13:45:34 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-03-07 13:45:34 -0800 |
commit | db2ba41c72091c3935de9a9e9057644d9a61dec0 (patch) | |
tree | 4fee848f2bf2fbd0118b561d40c7304138fcd3fa | |
parent | 47c1fc158a7bea84c71df8973d39f752c79f93ef (diff) | |
download | git-db2ba41c72091c3935de9a9e9057644d9a61dec0.tar.gz |
Meta/round: clean after running leaks and sparse
-rwxr-xr-x | round | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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" |