blob: ef3ac173ae0d74425566587af9d563cec4237daf (
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
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/bin/bash
set -e
. #ETCDIR#/check-versions.conf
if [ $# -eq 0 ]; then
tmpDir="$(mktemp -d)"
echo "${!cmds[@]}" | \
tr ' ' '\n' | \
parallel "$0" "${tmpDir}" "{}"
for dist in "${!cmds[@]}"; do
if [ -s "${tmpDir}/${dist}.out" ]; then
echo -n "${dist} ("
grep '^real' "${tmpDir}/${dist}.time" | \
awk '{print $2"):"}'
cat "${tmpDir}/${dist}.out"
echo
fi
done
rm -rf "${tmpDir}"
else
time (
:;
(
${cmds["$2"]}
) &> "$1/$2.out"
) 2> "$1/$2.time"
fi
|