blob: 1bb396d6df2d42e5fe5701627edaad0c70e18d60 (
plain) (
blame)
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
39
40
|
#!/bin/sh
# wait 5 hours maximum
timeout=18000
branch=$1
command=$2
shift 2
# ssh -x doesn't work on some machines
unset DISPLAY
pkgname=$(basename $1 .tgz)
buildroot=$(dirname $(dirname $0))
if grep -qxF $pkgname ${buildroot}/${branch}/duds; then
echo "skipping $pkgname"
exit 1
fi
args=${1+"$@"}
mach=$(cat ${buildroot}/ulist)
num=$(echo $(echo $mach | wc -w))
set $mach
shift $(echo "$$ $num" | awk '{srand($1); print(int(rand()*$2))}')
flags=""
if [ "x$NOCLEAN" != "x" ]; then
flags="${flags} -noclean"
fi
if [ "x$NO_RESTRICTED" != "x" ]; then
flags="${flags} -norestr"
fi
if [ "x$NOPLISTCHECK" != "x" ]; then
flags="${flags} -noplistcheck"
fi
if [ "x$NODUMMY" != "x" ]; then
flags="${flags} -nodummy"
fi
echo "dispatching: ssh -a $1 ${command} ${branch} $flags $args"
${buildroot}/scripts/ptimeout $timeout ssh -a $1 ${command} ${branch} ${flags} $args
|
