diff options
| author | kris <kris@FreeBSD.org> | 2004-03-08 09:25:25 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2004-03-08 09:25:25 +0800 |
| commit | 3e72b400dca3096c57cfc78173fee9fffc102c2c (patch) | |
| tree | fa699d2ee98a8dcdafcbc844083dfea97adb7628 /Tools | |
| parent | b982b07eb093cee2a31e0937ddc1a2708e6304e9 (diff) | |
| download | freebsd-ports-gnome-3e72b400dca3096c57cfc78173fee9fffc102c2c.tar.gz freebsd-ports-gnome-3e72b400dca3096c57cfc78173fee9fffc102c2c.tar.zst freebsd-ports-gnome-3e72b400dca3096c57cfc78173fee9fffc102c2c.zip | |
Increase timeout on slow build machines (alpha, sparc64) to 16 hours.
This should probably be made a per-machine variable.
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/pdispatch | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Tools/portbuild/scripts/pdispatch b/Tools/portbuild/scripts/pdispatch index 05be19ae01ce..8ed63f80fe95 100755 --- a/Tools/portbuild/scripts/pdispatch +++ b/Tools/portbuild/scripts/pdispatch @@ -11,8 +11,14 @@ shift . ${pb}/${arch}/portbuild.conf . ${pb}/scripts/buildenv -# wait 8 hours maximum -timeout=28800 +# Increase timeout on slow build machines +if [ "$arch" = "alpha" -o "$arch" = "sparc64" ]; then + # wait 16 hours maximum + timeout=57600 +else + # wait 8 hours maximum + timeout=28800 +fi branch=$1 command=$2 |