From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 20 Mar 2021 06:54:46 +0000 (-0700)
Subject: Meta/Dothem: support --cocci
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7d9ec4c25ffefe4d12935c855bb49e65083be227;p=thirdparty%2Fgit.git

Meta/Dothem: support --cocci
---

diff --git a/Dothem b/Dothem
index 3a55a18725..84b620c671 100755
--- a/Dothem
+++ b/Dothem
@@ -18,11 +18,13 @@ inst_prefix=$(
 )
 
 force= with_dash= test_long= M= install= nodoc= notest= bootstrap= branches= jobs=
-scratch= noprove= memtrash=--memtrash
+scratch= noprove= memtrash=--memtrash with_cocci=
 while	case "$1" in
 	--pedantic | --locale=* | --loose) M="$M $1" ;;
 	--force) force=$1 ;;
 	--dash) with_dash=y ;;
+	--cocci) with_cocci=y ;;
+	--no-cocci) with_cocci= ;;
 	--long) test_long=--long ;;
 	--noinstall) install=noinstall ;;
 	--nodoc) nodoc=y ;;
@@ -200,6 +202,11 @@ do
 
 		save=$(git rev-parse HEAD) &&
 
+		if test -n "$with_cocci"
+		then
+			Meta/Make $M $jobs -- coccicheck
+		fi &&
+
 		Meta/Make $M $jobs -- SPARSE_FLAGS=-Wsparse-error sparse &&
 
 		Meta/Make $M $noprove ${test+"$test"} $jobs $test_long $memtrash \