Meta/Dothem: allow optional sanitize tests
Junio C Hamano committed
Oct 21, 2022 at 12:02 UTC
8fe2ce96f17866c06931332df75c75b9535002d3
1 file changed
+10
-11
Dothem
+10
-11
index b195948536..6e7a3d731a 100755
--- a/Dothem
+++ b/Dothem
@@ -212,20 +212,19 @@ do
Meta/Make $M $jobs -- hdr-check &&
- case "$san" in
- '') ;;
- ?*)
- SANITIZE=address Meta/Make $M $jobs test &&
- SANITIZE=undefined Meta/Make $M $jobs test &&
- SANITIZE=leak \
- GIT_TEST_PASSING_SANITIZE_LEAK=true Meta/Make $M $jobs test &&
- Meta/Make distclean >/dev/null 2>&1
+ case "$dotest,$san" in
+ '')
+ ;;
+ test,)
+ Meta/Make $M $noprove ${test+"$test"} $jobs $test_long $memtrash \
+ -- ${with_dash:+SHELL_PATH=/bin/dash} "$@" $dotest
+ ;;
+ *,t)
+ SANITIZE=address,undefined Meta/Make $M $jobs test &&
+ Meta/Make >/dev/null distclean
;;
esac &&
- Meta/Make $M $noprove ${test+"$test"} $jobs $test_long $memtrash \
- -- ${with_dash:+SHELL_PATH=/bin/dash} "$@" $dotest &&
-
{
test -n "$skip_doc" ||
if test "$save" = "$(git rev-parse HEAD)"