From f67d454f647a62a5e53c4fc563c1a4c26b5a08eb Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 26 Oct 2022 10:32:35 -0700
Subject: [PATCH] Dothem: system regex.h seems to have trouble with sparse

---
 Dothem | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dothem b/Dothem
index 6e7a3d731a..954cc5f866 100755
--- a/Dothem
+++ b/Dothem
@@ -208,7 +208,8 @@ do
 			Meta/Make $M $jobs -- coccicheck
 		fi &&
 
-		Meta/Make $M $jobs -- SPARSE_FLAGS=-Wsparse-error sparse &&
+		Meta/Make $M $jobs -- NO_REGEX=NoThanks \
+			SPARSE_FLAGS=-Wsparse-error sparse &&
 
 		Meta/Make $M $jobs -- hdr-check &&
 
-- 
2.47.3