diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 2000-09-26 23:40:13 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 2000-09-26 23:40:13 +0000 |
| commit | 68d197cd25a629fc511934048e59741ef65c8237 (patch) | |
| tree | 9dc893c4c7b9e3dd4e01b02fce3af10249fb962a /Tools/portbuild | |
| parent | ea5f827cdfff217487dd7198e3fdc083121ca367 (diff) | |
| download | ports-68d197cd25a629fc511934048e59741ef65c8237.tar.gz ports-68d197cd25a629fc511934048e59741ef65c8237.zip | |
Notes
Diffstat (limited to 'Tools/portbuild')
| -rwxr-xr-x | Tools/portbuild/scripts/pdispatch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Tools/portbuild/scripts/pdispatch b/Tools/portbuild/scripts/pdispatch index 1bb396d6df2d..c642e6fd2738 100755 --- a/Tools/portbuild/scripts/pdispatch +++ b/Tools/portbuild/scripts/pdispatch @@ -1,7 +1,7 @@ #!/bin/sh -# wait 5 hours maximum -timeout=18000 +# wait 12 hours maximum +timeout=43200 branch=$1 command=$2 @@ -36,5 +36,5 @@ 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 +echo "dispatching: ssh -a -t -n $1 ${command} ${branch} $flags $args at $(date)" +${buildroot}/scripts/ptimeout $timeout ssh -a -t -n $1 ${command} ${branch} ${flags} $args |