Meta/Dothem: allow optional sanitize tests

1 files changed, 10 insertions, 11 deletions

diff --git a/Dothem b/Dothem
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)"