blob: ac05e9112f7290835690b88992827bf101b5b229 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/bin/bash
# Parses all samples on the command line, and for each of them, prints
# the versions of the main tools
# GREP_OPTIONS screws things up.
export GREP_OPTIONS=
# Dump a single sample
dump_single_sample() {
local width="$1"
local sample="$2"
printf " %-*s" ${width} "${sample}"
[ -f "${CT_TOP_DIR}/samples/${sample}/broken" ] && printf " (broken)"
echo
}
# Get largest sample width
width=0
for sample in "${@}"; do
[ ${#sample} -gt ${width} ] && width=${#sample}
done
for sample in "${@}"; do
( dump_single_sample ${width} "${sample}" )
done
|