7# ------------------------------------------------------------------------------------------
 
    9#                         Auxiliary script to print DAQ live time.
 
   11# ------------------------------------------------------------------------------------------
 
   13if [ -z $JPP_DIR ]; then
 
   14    echo "Variable JPP_DIR undefined."
 
   18source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   21    usage "$script (input file)+"
 
   27    -f "${INPUT_FILES[*]}"