update to_build_host a bit

[next-scripts] / do_push

diff --git a/do_push b/do_push
index b520cfd91e9f1b750d7199054390f3284209f596..46dec189fc287beb5e95a4b0f5f05ad29c1f0775 100755 (executable)
--- a/do_push
+++ b/do_push
@@ -2,6 +2,6 @@
 
 . "$(dirname $0)/common.sh"
 
-git push -f "$build_host":"$build_dir" master:refs/heads/next
+git push -f "${build_host}${build_host:+:}${build_dir}" master:refs/heads/next
 
 exit $?