Home
last modified time | relevance | path

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

/linux/scripts/
H A Dcoccicheck192 COCCI="$1"
194 OPT=`grep "Options:" $COCCI | cut -d':' -f2`
195 REQ=`grep "Requires:" $COCCI | cut -d':' -f2 | sed "s| ||"`
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
244 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
[all …]
/linux/Documentation/dev-tools/
H A Dcoccinelle.rst154 The optional make variable COCCI can be used to check a single
160 make coccicheck COCCI=<my_SP.cocci> MODE=patch
164 make coccicheck COCCI=<my_SP.cocci> MODE=report
197 COCCI variable may additionally be used to only apply a single
218 make coccicheck COCCI=scripts/coccinelle/free/kfree.cocci MODE=report DEBUG_FILE=cocci.err
226 export COCCI=scripts/coccinelle/misc/irqf_oneshot.cocci
361 make coccicheck MODE=report COCCI=scripts/coccinelle/api/err_cast.cocci
401 make coccicheck MODE=patch COCCI=scripts/coccinelle/api/err_cast.cocci
447 make coccicheck MODE=context COCCI=scripts/coccinelle/api/err_cast.cocci
484 make coccicheck MODE=org COCCI=scripts/coccinelle/api/err_cast.cocci