[bpt/coccinelle.git] / tools / distributed / spatch_linux_script

#!/bin/tcsh

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

#  -allow_inconsistent_paths

(spatch.opt -quiet -timeout 120 \
-dir /home/julia/linux-2.6 -use_glimpse -cocci_file $* > ${1:r}.${3}.out) \
>& tmp.${1:r}.${3}.out
Commit	Line	Data
34e49164 C	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
485bce71	9	(spatch.opt -quiet -timeout 120 \
34e49164 C	10	-dir /home/julia/linux-2.6 -use_glimpse -cocci_file $* > ${1:r}.${3}.out) \
34e49164 C	11	>& tmp.${1:r}.${3}.out