Searched refs:FLAGS (Results 1 – 1 of 1) sorted by relevance
32 FLAGS="--very-quiet"52 FLAGS="--quiet"127 FLAGS="--no-show-diff $FLAGS"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 1253 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \255 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1257 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
Completed in 2 milliseconds