changeset 726 | 8b628f8dc108 |
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 Sat Jul 26 09:22: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