From 56c433b914d65ccf9b9c53a78562452475353e8d Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Tue, 4 Apr 2017 06:43:05 +0200 Subject: Update staging script with bbot packages --- stage | 12 +++++++++--- 1 file 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/ -- cgit v1.1