From 8fe2ce96f17866c06931332df75c75b9535002d3 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 21 Oct 2022 12:02:38 -0700
Subject: [PATCH] Meta/Dothem: allow optional sanitize tests

---
 Dothem | 21 ++++++++++-----------
 1 file 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)"
-- 
2.47.3