10 lines
170 B
Text
10 lines
170 B
Text
|
#!/bin/sh
|
||
|
|
|
||
|
|
pushd $( dirname "$0" )
|
||
|
|
all="all.cocci"
|
||
|
|
real="/tmp/real.cocci"
|
||
|
|
cat "$all" | grep -P '^(?!#).+' | xargs cat >$real || exit 1
|
||
|
|
popd
|
||
|
|
|
||
|
|
spatch --sp-file $real "$@"
|