Searched refs:COCCI (Results 1 – 2 of 2) sorted by relevance
46 COCCI="$1"48 OPT=`grep "Option" $COCCI | cut -d':' -f2`56 FILE=`echo $COCCI | sed "s|$srctree/||"`58 echo "Processing `basename $COCCI`"63 sed -ne 's|^///||p' $COCCI82 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then84 sed -ne 's|^//#||p' $COCCI90 $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \91 $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \92 $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \[all …]
94 The optional make variable COCCI can be used to check a single100 make coccicheck COCCI=<my_SP.cocci> MODE=patch102 make coccicheck COCCI=<my_SP.cocci> MODE=report118 COCCI variable may additionally be used to only apply a single146 make coccicheck MODE=report COCCI=scripts/coccinelle/api/err_cast.cocci184 make coccicheck MODE=patch COCCI=scripts/coccinelle/api/err_cast.cocci228 make coccicheck MODE=context COCCI=scripts/coccinelle/api/err_cast.cocci263 make coccicheck MODE=org COCCI=scripts/coccinelle/api/err_cast.cocci