Fix/improve scripts

1 files changed, 5 insertions, 2 deletions

diff --git a/stage b/stage
index 9dfe16f..f748e28 100755
--- a/stage
+++ b/stage
@@ -202,6 +202,9 @@ done
 # 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.
 #
+# We also wse --delay-updates to make things a bit more atomic (we don't want
+# to start rebooting before everything is uploaded).
+#
 function sync_dist () # <dist-src> <dist-dst> [<rsync-options>]
 {
   local s="$1"
@@ -212,8 +215,8 @@ function sync_dist () # <dist-src> <dist-dst> [<rsync-options>]
 
   info "Press Enter to start distribution upload to $d"
   read
-  rsync -v -rltO -c --chmod=ugo=rwX --copy-unsafe-links --prune-empty-dirs \
-	$rsync_ops "$@" "$s/" "$d/"
+  rsync -v -rltO -c --chmod=ugo=rwX --delay-updates --copy-unsafe-links \
+	--prune-empty-dirs $rsync_ops "$@" "$s/" "$d/"
 }
 
 sync_dist "$dist_src" "$dist_dst" $rsync_del