# HG changeset patch
# User wenzelm
# Date 1653860873 -7200
# Node ID f37df3759770af38f1aad8f3a655fcfd07b1e0ca
# Parent  022afbbf31940ef5a4e59d8d2f2e6d5bdfb6f986
tuned messages;

diff -r 022afbbf3194 -r f37df3759770 src/Pure/Admin/sync_repos.scala
--- a/src/Pure/Admin/sync_repos.scala	Sun May 29 23:19:00 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala	Sun May 29 23:47:53 2022 +0200
@@ -33,8 +33,7 @@
       Isabelle_System.with_tmp_dir("sync_repos") { tmp_dir =>
         val id_path = tmp_dir + Path.explode("ISABELLE_ID")
         File.write(id_path, isabelle_hg.id(rev = rev))
-        Isabelle_System.rsync(progress = progress, verbose = verbose,
-          args = List(File.standard_path(id_path), target_dir + "etc/")).check
+        Isabelle_System.rsync(args = List(File.standard_path(id_path), target_dir + "etc/")).check
       }
     }