9 if [ -z $JPP_DIR ]; then
10 echo "Variable JPP_DIR undefined."
14 source $JPP_DIR/setenv.sh $JPP_DIR
17 set_variable WORKDIR ${TMPDIR:-/tmp}/
18 set_variable DIR $JPP_DIR/examples/JAAnet/
19 set_variable: FORMAT GRAPHICS_FORMAT gif
20 set_variable+ BATCH GRAPHICS_BATCH -B
23 usage "$script <input file>"
26 if (( $# != 1 )); then
27 fatal "Wrong number of parameters."
30 set_variable INPUT_FILE $argv[1]
35 rm -f ${TMPDIR:-/tmp}/dynamics.root
41 -o ${TMPDIR:-/tmp}/dynamics.root \
46 -f ${TMPDIR:-/tmp}/dynamics.root:orientation \
47 -f ${TMPDIR:-/tmp}/dynamics.root:position \
48 -f ${TMPDIR:-/tmp}/dynamics.root:gandalf \
54 -o coverage.$FORMAT $BATCH