diff -r bea5656eb1d1 -r d2c46e039cd8 scripts/showSamples.sh --- a/scripts/showSamples.sh Fri Jul 25 15:54:52 2008 +0000 +++ b/scripts/showSamples.sh Fri Jul 25 22:57:35 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