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