Searched refs:SPATCH (Results 1 – 1 of 1) sorted by relevance
8 SPATCH="`which ${SPATCH:=spatch}`"54 if [ ! -x "$SPATCH" ]; then154 run_cmd $SPATCH -D patch \156 run_cmd $SPATCH -D report \158 run_cmd $SPATCH -D context \160 run_cmd $SPATCH -D org \163 run_cmd $SPATCH -D report \165 run_cmd $SPATCH -D context \168 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1