Lines Matching refs:COCCI
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' $COCCI
146 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
148 sed -ne 's|^//#||p' $COCCI
155 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
157 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \
159 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
161 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1
164 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
166 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
168 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
173 if [ "$COCCI" = "" ] ; then
178 coccinelle $COCCI