Commit | Line | Data |
---|---|---|
1 | #!/bin/tcsh | |
2 | ||
3 | setenv PYTHONPATH ${HOME}/coccinelle/python | |
4 | setenv LD_LIBRARY_PATH ${HOME}/coccinelle/pycaml | |
5 | setenv COCCINELLE_HOME ${HOME}/coccinelle | |
6 | ||
7 | # -allow_inconsistent_paths | |
8 | ||
9 | (spatch.opt -quiet -timeout 120 \ | |
10 | -dir /home/julia/linux-2.6 -use_glimpse -cocci_file $* > ${1:r}.${3}.out) \ | |
11 | >& tmp.${1:r}.${3}.out |