--- a/src/Pure/Admin/build_history.scala Mon Jun 06 19:28:02 2022 +0200
+++ b/src/Pure/Admin/build_history.scala Mon Jun 06 19:39:21 2022 +0200
@@ -521,7 +521,6 @@
isabelle_self: Path,
isabelle_other: Path,
isabelle_identifier: String = "remote_build_history",
- self_update: Boolean = false,
progress: Progress = new Progress,
rev: String = "",
afp_repos: Option[Path] = None,
@@ -551,12 +550,10 @@
progress_stderr = progress.echo_if(echo, _),
strict = strict).check
- if (self_update) {
- sync_repos(isabelle_self)
- execute("bin/isabelle", "components -I")
- execute("bin/isabelle", "components -a", echo = true)
- execute("bin/isabelle", "jedit -bf")
- }
+ sync_repos(isabelle_self)
+ execute("bin/isabelle", "components -I")
+ execute("bin/isabelle", "components -a", echo = true)
+ execute("bin/isabelle", "jedit -bf")
sync_repos(isabelle_other, accurate = true,
rev = proper_string(rev) getOrElse "tip",