Home
last modified time | relevance | path

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

/scripts/
A Dcoccicheck11 SPATCH="`which ${SPATCH:=spatch}`"
13 if [ ! -x "$SPATCH" ]; then
18 SPATCH_VERSION=$($SPATCH --version | head -1 | awk '{print $3}')
21 $SPATCH --help | grep -e "--jobs" > /dev/null && USE_JOBS="yes"
243 run_cmd $SPATCH -D patch \
245 run_cmd $SPATCH -D report \
247 run_cmd $SPATCH -D context \
249 run_cmd $SPATCH -D org \
252 run_cmd $SPATCH -D report \
254 run_cmd $SPATCH -D context \
[all …]
A Dnsdeps9 SPATCH="`which ${SPATCH:=spatch}`"
10 if [ ! -x "$SPATCH" ]; then
15 SPATCH_VERSION=$($SPATCH --version | head -1 | awk '{print $3}')
23 $SPATCH --very-quiet --in-place --sp-file \

Completed in 3 milliseconds