summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2022-10-26 10:32:35 -0700
committerJunio C Hamano <gitster@pobox.com>2022-10-26 10:32:35 -0700
commitf67d454f647a62a5e53c4fc563c1a4c26b5a08eb (patch)
treedc90d2a765f5c24c3002d2dc408177c9f50ef43d
parent91bad23b42eca9c2eaca2c403bb4ae65af13bcdd (diff)
downloadgit-f67d454f647a62a5e53c4fc563c1a4c26b5a08eb.tar.gz
Dothem: system regex.h seems to have trouble with sparse
-rwxr-xr-xDothem3
1 files changed, 2 insertions, 1 deletions
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 &&