summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2023-01-13 15:01:50 -0800
committerJunio C Hamano <gitster@pobox.com>2023-01-13 15:01:50 -0800
commita99177ba00084be786d34943cda5496a2bd108e1 (patch)
treeefec55b446323e461b9258c8d5c9ff66484e141a
parent64efb121ec9d2ff0f67b8da67ae0c094ce9ef8bf (diff)
downloadgit-a99177ba00084be786d34943cda5496a2bd108e1.tar.gz
round: system headers for regex fails 'make sparse'
-rwxr-xr-xround3
1 files changed, 3 insertions, 0 deletions
diff --git a/round b/round
index fed2cd9819..6ba348a839 100755
--- a/round
+++ b/round
@@ -37,6 +37,9 @@ do
coccicheck)
SPATCH_FLAGS=--recursive-includes Meta/Make -j16 "$t"
;;
+ sparse)
+ Meta/Make -j16 -- NO_REGEX=NoThanks SPARSE_FLAGS=-Wsparse-error "$t"
+ ;;
*)
Meta/Make -j16 "$t"
;;