]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Meta/round: add 'undefined' checker, too
authorJunio C Hamano <gitster@pobox.com>
Mon, 10 Oct 2022 21:35:12 +0000 (14:35 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 10 Oct 2022 21:35:12 +0000 (14:35 -0700)
round

diff --git a/round b/round
index 0839b69adb1e2f2eeb07624db4b123284743ca26..d96967bd9ecc60ce97b8bec9a992c2a7d471e09a 100755 (executable)
--- a/round
+++ b/round
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 # Give names of targets to use on the command line
-default="sparse hdr-check coccicheck test leaks address check-docs doc"
+default="sparse hdr-check leaks address undefined coccicheck check-docs doc"
 skip=" "
 more=" "
 
@@ -31,9 +31,9 @@ do
        esac
 
        case "$t" in
-       address)
+       address | undefined)
                Meta/Make -j16 distclean >/dev/null 2>&1 &&
-               SANITIZE=address \
+               SANITIZE=$t \
                Meta/Make -j16 test
                ;;
        leaks)
@@ -45,7 +45,7 @@ do
                SPATCH_FLAGS=--recursive-includes Meta/Make -j16 "$t"
                ;;
        *)
-               SPATCH_FLAGS=--recursive-includes Meta/Make -j16 "$t"
+               Meta/Make -j16 "$t"
                ;;
        esac || return 1
 done &&