Release coccinelle-0.1.2
[bpt/coccinelle.git] / tools / distributed / spatch_linux_script
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