From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 21 Oct 2022 19:02:38 +0000 (-0700)
Subject: Meta/Dothem: allow optional sanitize tests
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8fe2ce96f17866c06931332df75c75b9535002d3;p=thirdparty%2Fgit.git

Meta/Dothem: allow optional sanitize tests
---

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)"