diff options
| -rwxr-xr-x | stage | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -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/ |