diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 1999-06-22 18:18:40 +0800 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 1999-06-22 18:18:40 +0800 |
| commit | 45f51c8307a2181eac9b66c92fd75181b9fafb1a (patch) | |
| tree | 71064f7cefd06b4a9ad01b128cf9657452efa65f /Tools | |
| parent | d18483f0faa62255d3e241892623871cc98967ca (diff) | |
| download | freebsd-ports-gnome-45f51c8307a2181eac9b66c92fd75181b9fafb1a.tar.gz freebsd-ports-gnome-45f51c8307a2181eac9b66c92fd75181b9fafb1a.tar.zst freebsd-ports-gnome-45f51c8307a2181eac9b66c92fd75181b9fafb1a.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 |