#!/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 "$@"