Searched refs:FLAGS (Results 1 – 1 of 1) sorted by relevance
32 FLAGS="--very-quiet"52 FLAGS="--quiet"131 FLAGS="--no-show-diff $FLAGS"248 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \250 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \252 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \254 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1257 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \259 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1261 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1