Lines Matching refs:COCCI
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' $COCCI
82 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
84 sed -ne 's|^//#||p' $COCCI
90 $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 || \
93 $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1
95 $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1
100 if [ "$COCCI" = "" ] ; then
105 coccinelle $COCCI