Searched refs:OPTIONS (Results 1 – 1 of 1) sorted by relevance
15 OPTIONS=$119 OPTIONS="-dir $srctree"90 $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \91 $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \92 $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \93 $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 195 $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1