diff options
| author | Kris Kennaway <kris@FreeBSD.org> | 2002-03-09 23:14:41 +0000 |
|---|---|---|
| committer | Kris Kennaway <kris@FreeBSD.org> | 2002-03-09 23:14:41 +0000 |
| commit | 2f9e4ad54b2c1bbb23bceaaaff1855d56d506733 (patch) | |
| tree | a9488ec76410ae9d685bab069e56e7a046c0ebde /Tools/portbuild | |
| parent | 1e74bafe562a1d2dc7e8bb214cf297430e70d2c3 (diff) | |
| download | ports-2f9e4ad54b2c1bbb23bceaaaff1855d56d506733.tar.gz ports-2f9e4ad54b2c1bbb23bceaaaff1855d56d506733.zip | |
Notes
Diffstat (limited to 'Tools/portbuild')
| -rwxr-xr-x | Tools/portbuild/scripts/pdispatch | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/Tools/portbuild/scripts/pdispatch b/Tools/portbuild/scripts/pdispatch index 5dcc0128c718..38ed4ac33bb2 100755 --- a/Tools/portbuild/scripts/pdispatch +++ b/Tools/portbuild/scripts/pdispatch @@ -5,8 +5,11 @@ # Choose a random machine from ${buildroot}/ulist and dispatch the # job to it via the ptimeout script. -# wait 12 hours maximum -timeout=43200 +pb=/var/portbuild +. ${pb}/portbuild.conf + +# wait 4 hours maximum +timeout=14400 branch=$1 command=$2 @@ -35,11 +38,12 @@ fi if [ "x$NO_RESTRICTED" != "x" ]; then flags="${flags} -norestr" fi -if [ "x$NOPLISTCHECK" != "x" ]; then - flags="${flags} -noplistcheck" +if [ "x$PLISTCHECK" != "x" ]; then + flags="${flags} -plistcheck" fi if [ "x$NODUMMY" != "x" ]; then flags="${flags} -nodummy" fi + 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 |