src/Pure/Admin/sync_repos.scala

--- a/src/Pure/Admin/sync_repos.scala	Tue May 31 16:01:30 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala	Tue May 31 22:10:48 2022 +0200
@@ -39,7 +39,8 @@
         val id_path = tmp_dir + Path.explode("ISABELLE_ID")
         File.write(id_path, hg.id(rev = rev))
         Isabelle_System.rsync(port = port, thorough = thorough,
-          args = List(File.standard_path(id_path), target_dir + "etc/"))
+          args = List(File.standard_path(id_path), target_dir + "etc/")
+        ).check
       }
     }