diff options
| -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 |