--- a/src/Pure/Admin/sync_repos.scala Wed Jun 01 10:07:00 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala Wed Jun 01 10:10:42 2022 +0200
@@ -28,7 +28,7 @@
val more_filter = if (preserve_jars) List("include *.jar", "protect *.jar") else Nil
def sync(hg: Mercurial.Repository, dest: String, r: String, filter: List[String] = Nil): Unit =
- hg.sync(dest, rev = r, progress = progress, port = port, verbose = verbose,
+ hg.sync(dest, rev = r, progress = progress, port = port, verbose = verbose || dry_run,
thorough = thorough, dry_run = dry_run, clean = clean, filter = filter ::: more_filter)
progress.echo("\n* Isabelle repository:")