diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-10-10 14:35:12 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-10 14:35:12 -0700 |
commit | eee9bb7e054c755a0799370ac3eeef4ea848d8b2 (patch) | |
tree | 8245876d2d1e172f58cd7938a22e735410e6dbf4 | |
parent | fd9c53d5e65d14e5076c13e615d726ed900ef950 (diff) | |
download | git-eee9bb7e054c755a0799370ac3eeef4ea848d8b2.tar.gz |
Meta/round: add 'undefined' checker, too
-rwxr-xr-x | round | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 && |