Home
last modified time | relevance | path

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

/scripts/
Dcoccicheck11 SPATCH="`which ${SPATCH:=spatch}`"
13 if [ ! -x "$SPATCH" ]; then
18 SPATCH_VERSION=$($SPATCH --version | head -1 | awk '{print $3}')
22 $SPATCH --help | grep "\-\-jobs" > /dev/null && USE_JOBS="yes"
239 run_cmd $SPATCH -D patch \
241 run_cmd $SPATCH -D report \
243 run_cmd $SPATCH -D context \
245 run_cmd $SPATCH -D org \
248 run_cmd $SPATCH -D report \
250 run_cmd $SPATCH -D context \
[all …]
Dnsdeps9 SPATCH="`which ${SPATCH:=spatch}`"
10 if [ ! -x "$SPATCH" ]; then
16 SPATCH_VERSION=$($SPATCH --version | head -1 | awk '{print $3}')
31 $SPATCH --very-quiet --in-place --sp-file \