--- a/src/Pure/Build/build_manager.scala Tue Jun 25 17:55:37 2024 +0200
+++ b/src/Pure/Build/build_manager.scala Tue Jun 25 17:56:49 2024 +0200
@@ -762,6 +762,10 @@
yield sync_dirs.find(_.name == component.name) match {
case Some(sync_dir) =>
val target = context.task_dir + sync_dir.target
+
+ if (!component.is_local)
+ File.append(context.task_dir + Sync.DIRS_ROOTS, sync_dir.roots_entry + "\n")
+
component.copy(rev = sync(sync_dir.hg, component.rev, target))
case None =>
if (component.is_local) component