Home
last modified time | relevance | path

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

/Linux-v4.19/scripts/
Dcoccicheck174 COCCI="$1"
176 OPT=`grep "Options:" $COCCI | cut -d':' -f2`
177 REQ=`grep "Requires:" $COCCI | cut -d':' -f2 | sed "s| ||"`
181 echo "Skipping coccinelle SmPL patch: $COCCI"
194 FILE=${COCCI#$srctree/}
196 echo "Processing `basename $COCCI`"
201 sed -ne 's|^///||p' $COCCI
220 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
222 sed -ne 's|^//#||p' $COCCI
229 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
[all …]
/Linux-v4.19/Documentation/dev-tools/
Dcoccinelle.rst137 The optional make variable COCCI can be used to check a single
143 make coccicheck COCCI=<my_SP.cocci> MODE=patch
147 make coccicheck COCCI=<my_SP.cocci> MODE=report
173 COCCI variable may additionally be used to only apply a single
194 make coccicheck COCCI=scripts/coccinelle/free/kfree.cocci MODE=report DEBUG_FILE=cocci.err
202 export COCCI=scripts/coccinelle/misc/irqf_oneshot.cocci
338 make coccicheck MODE=report COCCI=scripts/coccinelle/api/err_cast.cocci
378 make coccicheck MODE=patch COCCI=scripts/coccinelle/api/err_cast.cocci
424 make coccicheck MODE=context COCCI=scripts/coccinelle/api/err_cast.cocci
461 make coccicheck MODE=org COCCI=scripts/coccinelle/api/err_cast.cocci