| 18 | echo "  (-l |-list )MACHINES  check platforms from this list" | echo "  (-l |-list )MACHINES  check platforms from this list" | 
| 19 | echo "                         [def=\"$MACHINES\"]" | echo "                         [def=\"$MACHINES\"]" | 
| 20 | echo "  (-d |-day  )FIRSTDAY  select output from day=\"YYYYMMDD\"" | echo "  (-d |-day  )FIRSTDAY  select output from day=\"YYYYMMDD\"" | 
| 21 |  | echo "                         (argument of \"date -d\" is allowed)" | 
| 22 | echo "                         [def=\"$FIRSTDAY\"]" | echo "                         [def=\"$FIRSTDAY\"]" | 
| 23 | echo "  (-u |-upto )LASTDAY   until last day=\"YYYYMMDD\" (=selected period)" | echo "  (-u |-upto )LASTDAY   until last day=\"YYYYMMDD\" (=selected period)" | 
| 24 | echo "                         [def=\"FIRSTDAY\"]" | echo "                         [def=\"FIRSTDAY\"]" | 
| 102 | esac | esac | 
| 103 |  |  | 
| 104 | done | done | 
| 105 |  | #-- test FIRSTDAY content ; interpret as "date -d" arg. if not YYYYMMDD | 
| 106 |  | ttt=`echo "y$FIRSTDAY" | sed 's/[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]/z/'` | 
| 107 |  | if test "x$ttt" != 'xyz' ; then | 
| 108 |  | FIRSTDAY=`date -d "$FIRSTDAY" +%Y%m%d` | 
| 109 |  | fi | 
| 110 |  | ttt=`echo "y$FIRSTDAY" | sed 's/[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]/z/'` | 
| 111 |  | if test "x$ttt" != 'xyz' ; then | 
| 112 |  | echo "Error: FIRSTDAY='$FIRSDAY' not recognized" | 
| 113 |  | exit 2 | 
| 114 |  | fi | 
| 115 | if test $LASTDAY = "30000000" ; then LASTDAY=$FIRSTDAY ; fi | if test $LASTDAY = "30000000" ; then LASTDAY=$FIRSTDAY ; fi | 
| 116 | CMDLINE=$0 | CMDLINE=$0 | 
| 117 | for xx in "$@" ; do nw=`echo $xx | wc -w` | for xx in "$@" ; do nw=`echo $xx | wc -w` | 
| 155 | fi | fi | 
| 156 | else | else | 
| 157 | echo "$INDIR is not a directory" | echo "$INDIR is not a directory" | 
| 158 | exit | exit 3 | 
| 159 | fi | fi | 
| 160 |  |  | 
| 161 | #- a short summary of this checking : | #- a short summary of this checking : | 
| 386 | fi | fi | 
| 387 | echo ".. cat $OUTPSUM" | echo ".. cat $OUTPSUM" | 
| 388 | cat $OUTPSUM | cat $OUTPSUM | 
| 389 |  | exit 0 |