update to_build_host a bit

[next-scripts] / do_patch

diff --git a/do_patch b/do_patch
index c48dcb23ddd57e1dfab0e3101ca1391e4df48bbb..e886e2a3e214f11ddc32f68bd99aa16dea84b301 100755 (executable)
--- a/do_patch
+++ b/do_patch
@@ -27,7 +27,7 @@ GIT_EDITOR=: execute git am -3 "$patch" || exit 1
 
 $no_build && exit 0
 
-git push -f "$build_host":"$build_dir" master:refs/heads/next || {
+git push -f "${build_host}${build_host:+:}${build_dir}" master:refs/heads/next || {
        echo git push failed 1>&2
        bash -i || exit
 }