Searched refs:COCCI (Results 1 – 2 of 2) sorted by relevance
110 COCCI="$1"112 OPT=`grep "Option" $COCCI | cut -d':' -f2`120 FILE=`echo $COCCI | sed "s|$srctree/||"`122 echo "Processing `basename $COCCI`"127 sed -ne 's|^///||p' $COCCI146 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then148 sed -ne 's|^//#||p' $COCCI155 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \157 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \159 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \[all …]
106 The optional make variable COCCI can be used to check a single112 make coccicheck COCCI=<my_SP.cocci> MODE=patch114 make coccicheck COCCI=<my_SP.cocci> MODE=report139 COCCI variable may additionally be used to only apply a single180 make coccicheck MODE=report COCCI=scripts/coccinelle/api/err_cast.cocci218 make coccicheck MODE=patch COCCI=scripts/coccinelle/api/err_cast.cocci262 make coccicheck MODE=context COCCI=scripts/coccinelle/api/err_cast.cocci297 make coccicheck MODE=org COCCI=scripts/coccinelle/api/err_cast.cocci