summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xstage12
1 files changed, 9 insertions, 3 deletions
diff --git a/stage b/stage
index a9eb44a..dd0ac82 100755
--- a/stage
+++ b/stage
@@ -155,6 +155,9 @@ dist libbpkg build2
dist bpkg build2
dist brep build2
+dist libbbot build2
+dist bbot build2
+
# Regenerate the repository.
#
info "Insert $repo_name signing key and press Enter"
@@ -166,11 +169,14 @@ etc/rep-update "$repo_dir/" \
# Sync repository and distribution.
#
+# Note that we do the distribution first so that the toolchain changes are
+# visible before package changes. This is relied upon by the Build OS monitor.
+#
+rsync -v -rlpt -c --copy-unsafe-links --prune-empty-dirs --delete-after \
+ $rsync_ops staging/0/ stage.build2.org:/var/www/stage.build2.org/public/0/
+
etc/rep-publish "$repo_dir/" "$repo_host1/" $rsync_ops
if [ -n "$repo_host2" ]; then
etc/rep-publish "$repo_dir/" "$repo_host2/" $rsync_ops
fi
-
-rsync -v -rlpt -c --copy-unsafe-links --prune-empty-dirs --delete-after \
- $rsync_ops staging/0/ stage.build2.org:/var/www/stage.build2.org/public/0/