diff options
| author | kris <kris@FreeBSD.org> | 2003-05-17 08:25:59 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2003-05-17 08:25:59 +0800 |
| commit | d74d0432bd62bf17da6d609b6dd6fd910da01cf2 (patch) | |
| tree | ba368b23efdfb0aebc7b25db8f8fcd036fd2cdcd /Tools/portbuild/scripts | |
| parent | 38591923b5e4a3276530dc2a835b0734091fb472 (diff) | |
| download | freebsd-ports-graphics-d74d0432bd62bf17da6d609b6dd6fd910da01cf2.tar.gz freebsd-ports-graphics-d74d0432bd62bf17da6d609b6dd6fd910da01cf2.tar.zst freebsd-ports-graphics-d74d0432bd62bf17da6d609b6dd6fd910da01cf2.zip | |
Pass down the request to keep distfiles if appropriate.
Diffstat (limited to 'Tools/portbuild/scripts')
| -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 2f01f60615d..813ec66b40e 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 |