Searched refs:OPTIONS (Results 1 – 3 of 3) sorted by relevance
72 OPTIONS="$COCCIINCLUDE $1"76 OPTIONS="--dir $srctree $COCCIINCLUDE"78 OPTIONS="--dir $KBUILD_EXTMOD $COCCIINCLUDE"83 OPTIONS="--patch $srctree $OPTIONS"93 OPTIONS="$OPTIONS --jobs $NPROC --chunksize 1"174 OPTIONS="$OPTIONS $SPFLAGS"232 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \234 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \236 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \241 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \[all …]
6 1. CONFIGURATION OPTIONS/SETTINGS
248 OPTIONS="--dir $srctree $COCCIINCLUDE"250 OPTIONS="--dir $KBUILD_EXTMOD $COCCIINCLUDE"
Completed in 7 milliseconds