sed -i '$d' $SHA1_FILE
printf "%s$tab%s\n" $tree $rev >>$SHA1_FILE
-$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
}
-"$bin_dir/do_build" || {
+$no_build && exit 0
+
+"$bin_dir/do_build" "$tree" || {
echo Build failed 1>&2
bash -i || exit
}