Home
last modified time | relevance | path

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

/u-boot/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 …]
/u-boot/doc/develop/
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
190 COCCI variable may additionally be used to only apply a single
211 make coccicheck COCCI=scripts/coccinelle/free/kfree.cocci MODE=report DEBUG_FILE=cocci.err
219 export COCCI=scripts/coccinelle/misc/irqf_oneshot.cocci
355 make coccicheck MODE=report COCCI=scripts/coccinelle/api/err_cast.cocci
395 make coccicheck MODE=patch COCCI=scripts/coccinelle/api/err_cast.cocci
441 make coccicheck MODE=context COCCI=scripts/coccinelle/api/err_cast.cocci
478 make coccicheck MODE=org COCCI=scripts/coccinelle/api/err_cast.cocci

Completed in 3 milliseconds