summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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"
;;