Searched refs:OPT (Results 1 – 1 of 1) sorted by relevance
74 OPT=`grep "Option" $COCCI | cut -d':' -f2`85 echo "with option(s) \"$OPT\""117 $FLAGS -sp_file $COCCI $OPT $OPTIONS || \119 $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \121 $FLAGS -sp_file $COCCI $OPT $OPTIONS || \123 $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1126 $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff && \128 $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1130 run_cmd $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1