Searched refs:OPTIONS (Results 1 – 1 of 1) sorted by relevance
26 OPTIONS="$COCCIINCLUDE $1"30 OPTIONS="-dir $srctree $COCCIINCLUDE"32 OPTIONS="-dir $KBUILD_EXTMOD $COCCIINCLUDE"37 OPTIONS="-patch $srctree $OPTIONS"117 $FLAGS -sp_file $COCCI $OPT $OPTIONS || \119 $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \121 $FLAGS -sp_file $COCCI $OPT $OPTIONS || \123 $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1126 $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff && \128 $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1[all …]