author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Sun Jun 17 13:02:00 2007 +0000 (2007-06-17) | |
changeset 172 | 7214624eb7b4 |
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