src/Pure/Admin/sync_repos.scala

--- a/src/Pure/Admin/sync_repos.scala	Sun May 29 23:47:53 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala	Sun May 29 23:49:58 2022 +0200
@@ -33,7 +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(args = List(File.standard_path(id_path), target_dir + "etc/")).check
+        Isabelle_System.rsync(args = List(File.standard_path(id_path), target_dir + "etc/"))
       }
     }