diff options
-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 2f01f60615d9..813ec66b40ef 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 |