diff options
Diffstat (limited to 'Tools/portbuild/scripts/pdispatch')
| -rwxr-xr-x | Tools/portbuild/scripts/pdispatch | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Tools/portbuild/scripts/pdispatch b/Tools/portbuild/scripts/pdispatch index 1156d2d80089..5c31b7e51d26 100755 --- a/Tools/portbuild/scripts/pdispatch +++ b/Tools/portbuild/scripts/pdispatch @@ -24,5 +24,10 @@ mach=$(cat ${buildroot}/ulist) num=$(echo $(echo $mach | wc -w)) set $mach shift $(echo "$$ $num" | awk '{srand($1); print(int(rand()*$2))}') -echo "dispatching: ssh -a $1 ${command} ${branch} $args" -ssh -a $1 ${command} ${branch} $args +if [ "x$NOCLEAN" != "x" ]; then + echo "dispatching: ssh -a $1 ${command} ${branch} -noclean $args" + ssh -a $1 ${command} ${branch} -noclean $args +else + echo "dispatching: ssh -a $1 ${command} ${branch} $args" + ssh -a $1 ${command} ${branch} $args +fi |