4 if [ -z $JPP_DIR ]; then
 
    5     echo "Variable JPP_DIR undefined."
 
    9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   11 if ( do_usage $* ); then
 
   18 set_variable  WORKDIR             ./
 
   19 set_variable  DETECTOR            42
 
   20 set_variable  TOA_FILE            $WORKDIR/toa\[%\].root
 
   21 set_variable  TMAX_S              0.1
 
   22 set_variable  QUANTILE            0.99
 
   23 set_array     RUNS                7640 7640
 
   25 if ( ! reuse_file ${TOA_FILE/\%/${QUANTILE}} ); then
 
   33    -o ${TOA_FILE/\%/${QUANTILE}}   \
 
   38     -f "${TOA_FILE/\%/${QUANTILE}}:M" \