Home
last modified time | relevance | path

Searched refs:FLAGS (Results 1 – 1 of 1) sorted by relevance

/scripts/
A Dcoccicheck39 FLAGS="--very-quiet"
59 FLAGS="--quiet"
112 FLAGS="--no-show-diff $FLAGS"
232 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
234 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \
236 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
238 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1
241 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
243 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
245 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1

Completed in 13 milliseconds