| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Sun Jun 17 12:11:16 2007 +0000 (2007-06-17) | |
| changeset 168 | 45811aef4097 |
| parent 126 | cf871e2cccc9 |
| child 182 | 223c84ec2d90 |
| permissions | -rwxr-xr-x |
1 #!/bin/bash
3 # Parses all samples on the command line, and for each of them, prints
4 # the versions of the main tools
6 # GREP_OPTIONS screws things up.
7 export GREP_OPTIONS=
9 # Dump a single sample
10 dump_single_sample() {
11 local width="$1"
12 local sample="$2"
13 printf " %-*s" ${width} "${sample}"
14 [ -f "${CT_TOP_DIR}/samples/${sample}/broken" ] && printf " (broken)"
15 echo
16 }
18 # Get largest sample width
19 width=0
20 for sample in "${@}"; do
21 [ ${#sample} -gt ${width} ] && width=${#sample}
22 done
24 for sample in "${@}"; do
25 ( dump_single_sample ${width} "${sample}" )
26 done