Home
last modified time | relevance | path

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

/scripts/
A Dcoccicheck177 COCCI="$1"
179 OPT=`grep "Option" $COCCI | cut -d':' -f2`
184 echo "Skipping coccinele SmPL patch: $COCCI"
197 FILE=`echo $COCCI | sed "s|$srctree/||"`
199 echo "Processing `basename $COCCI`"
204 sed -ne 's|^///||p' $COCCI
223 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
225 sed -ne 's|^//#||p' $COCCI
243 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
250 if [ "$COCCI" = "" ] ; then
[all …]

Completed in 7 milliseconds