Meta/Dothem: support --cocci
Junio C Hamano committed
Mar 19, 2021 at 23:54 UTC
7d9ec4c25ffefe4d12935c855bb49e65083be227
1 file changed
+8
-1
Dothem
+8
-1
@@ -18,11 +18,13 @@ inst_prefix=$(
18
)
19
20
force= with_dash= test_long= M= install= nodoc= notest= bootstrap= branches= jobs=
21
-scratch= noprove= memtrash=--memtrash
21
+scratch= noprove= memtrash=--memtrash with_cocci=
22
while case "$1" in
23
--pedantic | --locale=* | --loose) M="$M $1" ;;
24
--force) force=$1 ;;
25
--dash) with_dash=y ;;
26
+ --cocci) with_cocci=y ;;
27
+ --no-cocci) with_cocci= ;;
28
--long) test_long=--long ;;
29
--noinstall) install=noinstall ;;
30
--nodoc) nodoc=y ;;
@@ -200,6 +202,11 @@ do
202
203
save=$(git rev-parse HEAD) &&
204
205
+ if test -n "$with_cocci"
206
+ then
207
+ Meta/Make $M $jobs -- coccicheck
208
+ fi &&
209
+
210
Meta/Make $M $jobs -- SPARSE_FLAGS=-Wsparse-error sparse &&
211
212
Meta/Make $M $noprove ${test+"$test"} $jobs $test_long $memtrash \