Searched refs:FLAGS (Results 1 – 1 of 1) sorted by relevance
33 FLAGS="--very-quiet"53 FLAGS="--quiet"120 FLAGS="--no-show-diff $FLAGS"240 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \242 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \244 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \246 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1249 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \251 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1253 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1