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
21 usage "$script (input file)+"
27 -f "${INPUT_FILES[*]}"