scripts/showSamples.sh
changeset 724 a30dd922ff1e
parent 723 bea5656eb1d1
child 737 f02cd568eec9
     1.1 --- a/scripts/showSamples.sh	Fri Jul 25 15:54:52 2008 +0000
     1.2 +++ b/scripts/showSamples.sh	Fri Jul 25 16:14:42 2008 +0000
     1.3 @@ -109,6 +109,12 @@
     1.4      printf "^  Reported by  "
     1.5      echo   "^"
     1.6  fi
     1.7 +
     1.8  for sample in "${@}"; do
     1.9      ( dump_single_sample ${opt} ${width} "${sample}" )
    1.10  done
    1.11 +
    1.12 +if [ "${opt}" = -w ]; then
    1.13 +    printf "^ Total: ${#@} samples  | |||||||||||"
    1.14 +    echo   ""
    1.15 +fi