Searched refs:COCCI (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/scripts/
H A Dcoccicheck110 COCCI="$1"
112 OPT=`grep "Option" $COCCI | cut -d':' -f2`
116 # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null
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

Completed in 57 milliseconds