]> git.ipfire.org Git - thirdparty/git.git/commitdiff
round: system headers for regex fails 'make sparse'
authorJunio C Hamano <gitster@pobox.com>
Fri, 13 Jan 2023 23:01:50 +0000 (15:01 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 13 Jan 2023 23:01:50 +0000 (15:01 -0800)
round

diff --git a/round b/round
index fed2cd98193d96cc8312c493257e9c00a40ba9d6..6ba348a8396fcfe75f928ae7058a0606b51f5c02 100755 (executable)
--- 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"
                ;;