Searched refs:OPT (Results 1 – 1 of 1) sorted by relevance
146 OPT=`grep "Options:" $COCCI | cut -d':' -f2`175 echo "with option(s) \"$OPT\""207 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \209 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \211 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \213 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1216 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \218 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1220 run_cmd_parmap $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
