diff options
| author | asami <asami@FreeBSD.org> | 1999-06-22 18:18:40 +0800 |
|---|---|---|
| committer | asami <asami@FreeBSD.org> | 1999-06-22 18:18:40 +0800 |
| commit | 74ca708cb2387d5eb4e8c1d35311eea61360e7f4 (patch) | |
| tree | 8a3674a932c9177eef76d161a95b5a21a20e2f0b /Tools | |
| parent | 484a0f64820665fcab87c18f5077a1a10071a6a5 (diff) | |
| download | freebsd-ports-gnome-74ca708cb2387d5eb4e8c1d35311eea61360e7f4.tar.gz freebsd-ports-gnome-74ca708cb2387d5eb4e8c1d35311eea61360e7f4.tar.zst freebsd-ports-gnome-74ca708cb2387d5eb4e8c1d35311eea61360e7f4.zip | |
Timeout port builds after 4 hours. This will prevent ports that get
stuck indefinitely in fetch or configure from hanging up the entire
build process.
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/pdispatch | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/Tools/portbuild/scripts/pdispatch b/Tools/portbuild/scripts/pdispatch index 79be9f3c100c..3738e11c6621 100755 --- a/Tools/portbuild/scripts/pdispatch +++ b/Tools/portbuild/scripts/pdispatch @@ -1,11 +1,17 @@ #!/bin/sh + +# wait 4 hours maximum +timeout=14400 + command=$1 shift if pwd | grep -qF 2.2; then branch=2.2 +elif pwd | grep -qF 3; then + branch=3 else - branch=3.0 + branch=4 fi # ssh -x doesn't work on some machines @@ -26,8 +32,8 @@ set $mach shift $(echo "$$ $num" | awk '{srand($1); print(int(rand()*$2))}') if [ "x$NOCLEAN" != "x" ]; then echo "dispatching: ssh -a $1 ${command} ${branch} -noclean $args" - ssh -a $1 ${command} ${branch} -noclean $args + ${buildroot}/scripts/ptimeout $timeout ssh -a $1 ${command} ${branch} -noclean $args else echo "dispatching: ssh -a $1 ${command} ${branch} $args" - ssh -a $1 ${command} ${branch} $args + ${buildroot}/scripts/ptimeout $timeout ssh -a $1 ${command} ${branch} $args fi |