Home
last modified time | relevance | path

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

/u-boot/scripts/
A Dcoccicheck179 OPT=`grep "Option" $COCCI | cut -d':' -f2`
200 echo "with option(s) \"$OPT\""
232 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
234 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \
236 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
238 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1
241 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
243 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
245 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1

Completed in 5 milliseconds