diff -r bea5656eb1d1 -r e9cbd9d6e737 scripts/showSamples.sh --- a/scripts/showSamples.sh Fri Jul 25 15:54:52 2008 +0000 +++ b/scripts/showSamples.sh Sun Jul 27 10:54:14 2008 +0000 @@ -109,6 +109,12 @@ printf "^ Reported by " echo "^" fi + for sample in "${@}"; do ( dump_single_sample ${opt} ${width} "${sample}" ) done + +if [ "${opt}" = -w ]; then + printf "^ Total: ${#@} samples | |||||||||||" + echo "" +fi