Home
last modified time | relevance | path

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

/scripts/
A Dcoccicheck194 OPT=`grep "Options:" $COCCI | cut -d':' -f2`
212 echo "with option(s) \"$OPT\""
244 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
246 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \
248 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
250 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1
253 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
255 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
257 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1

Completed in 2 milliseconds