Update staging script with bbot packages

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/