Home
last modified time | relevance | path

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

/scripts/
A Dcoccicheck192 COCCI="$1"
194 OPT=`grep "Options:" $COCCI | cut -d':' -f2`
197 echo "Skipping coccinelle SmPL patch: $COCCI"
209 FILE=${COCCI#$srctree/}
211 echo "Processing `basename $COCCI`"
216 sed -ne 's|^///||p' $COCCI
235 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
237 sed -ne 's|^//#||p' $COCCI
255 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
271 if [ "$COCCI" = "" ] ; then
[all …]

Completed in 2 milliseconds