diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-10-26 10:32:35 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-26 10:32:35 -0700 |
commit | f67d454f647a62a5e53c4fc563c1a4c26b5a08eb (patch) | |
tree | dc90d2a765f5c24c3002d2dc408177c9f50ef43d | |
parent | 91bad23b42eca9c2eaca2c403bb4ae65af13bcdd (diff) | |
download | git-f67d454f647a62a5e53c4fc563c1a4c26b5a08eb.tar.gz |
Dothem: system regex.h seems to have trouble with sparse
-rwxr-xr-x | Dothem | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 && |