Lines Matching refs:OPT

194     OPT=`grep "Options:" $COCCI | cut -d':' -f2`
205 #    $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null
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