Release coccinelle-0.1.2
[bpt/coccinelle.git] / tools / distributed / spatch_linux_script
... / ...
CommitLineData
1#!/bin/tcsh
2
3setenv PYTHONPATH ${HOME}/coccinelle/python
4setenv LD_LIBRARY_PATH ${HOME}/coccinelle/pycaml
5setenv 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