#!/bin/tcsh

setenv PYTHONPATH ${HOME}/coccinelle/python
setenv LD_LIBRARY_PATH ${HOME}/coccinelle/pycaml
setenv COCCINELLE_HOME ${HOME}/coccinelle

#  -allow_inconsistent_paths

(~/coccinelle/spatch.opt -quiet -timeout 120 \
-dir /home/julia/linux-2.6 -use_glimpse -cocci_file $* > ${1:r}.${3}.out) \
>& tmp.${1:r}.${3}.out