diff options
| author | kris <kris@FreeBSD.org> | 2003-05-17 00:25:59 +0000 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2003-05-17 00:25:59 +0000 |
| commit | d74d0432bd62bf17da6d609b6dd6fd910da01cf2 (patch) | |
| tree | ba368b23efdfb0aebc7b25db8f8fcd036fd2cdcd /Tools | |
| parent | 38591923b5e4a3276530dc2a835b0734091fb472 (diff) | |
| download | FreeBSD-ports-d74d0432bd62bf17da6d609b6dd6fd910da01cf2.zip FreeBSD-ports-d74d0432bd62bf17da6d609b6dd6fd910da01cf2.tar.gz | |
Pass down the request to keep distfiles if appropriate.
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/pdispatch | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tools/portbuild/scripts/pdispatch b/Tools/portbuild/scripts/pdispatch index 2f01f60..813ec66 100755 --- a/Tools/portbuild/scripts/pdispatch +++ b/Tools/portbuild/scripts/pdispatch @@ -48,6 +48,9 @@ fi if [ "x$NODUMMY" != "x" ]; then flags="${flags} -nodummy" fi +if [ "x$WANT_DISTFILES" != "x" ]; then + flags="${flags} -distfiles" +fi echo "dispatching: ssh -a -t -n root@$1 ${command} ${arch} ${branch} $flags $args at $(date)" ${pb}/scripts/ptimeout.host $timeout ssh -a -t -n root@$1 ${command} ${arch} ${branch} ${flags} $args |
