diff -r bea5656eb1d1 -r 9416a82ef7b4 scripts/showSamples.sh --- a/scripts/showSamples.sh Fri Jul 25 15:54:52 2008 +0000 +++ b/scripts/showSamples.sh Sat Jul 26 15:29:51 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