From 7d9ec4c25ffefe4d12935c855bb49e65083be227 Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Fri, 19 Mar 2021 23:54:46 -0700 Subject: [PATCH] Meta/Dothem: support --cocci --- Dothem | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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 \ -- 2.47.3