diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-01-13 15:01:50 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-01-13 15:01:50 -0800 |
commit | a99177ba00084be786d34943cda5496a2bd108e1 (patch) | |
tree | efec55b446323e461b9258c8d5c9ff66484e141a | |
parent | 64efb121ec9d2ff0f67b8da67ae0c094ce9ef8bf (diff) | |
download | git-a99177ba00084be786d34943cda5496a2bd108e1.tar.gz |
round: system headers for regex fails 'make sparse'
-rwxr-xr-x | round | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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" ;; |