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