Meta/Dothem: allow optional sanitize tests

diff --git a/Dothem b/Dothem
index b195948536ec021925b86653d21c48f00f0e1b96..6e7a3d731a423613b06eb1102c8adc8074f5f901 100755 (executable)
--- 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)"