Searched refs:FLAGS (Results 1 – 1 of 1) sorted by relevance
33 FLAGS="--very-quiet"53 FLAGS="--quiet"115 FLAGS="--no-show-diff $FLAGS"229 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \231 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \233 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \235 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1238 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \240 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1242 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1