--- a/src/Pure/Admin/build_history.scala Sat Jan 28 21:29:28 2023 +0100
+++ b/src/Pure/Admin/build_history.scala Sat Jan 28 21:32:33 2023 +0100
@@ -530,7 +530,7 @@
isabelle_self: Path,
isabelle_other: Path,
isabelle_identifier: String = "remote_build_history",
- clean_platforms: Boolean = false,
+ clean_platform: Boolean = false,
clean_archives: Boolean = false,
progress: Progress = new Progress,
protect_args: Boolean = false,
@@ -578,7 +578,7 @@
try {
val script =
ssh.bash_path(Path.explode("Admin/build_other")) +
- (if (clean_platforms)
+ (if (clean_platform)
" -O " + Bash.string(ssh.isabelle_platform.ISABELLE_PLATFORM_FAMILY)
else "") +
(if (clean_archives) " -Q" else "") +
--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Jan 28 21:29:28 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Jan 28 21:32:33 2023 +0100
@@ -405,7 +405,7 @@
isabelle_repos,
isabelle_repos.ext(r.host),
isabelle_identifier = "cronjob_build_history",
- clean_platforms = r.clean_components,
+ clean_platform = r.clean_components,
clean_archives = r.clean_components,
rev = rev,
afp_repos = if (afp_rev.isDefined) Some(afp_repos) else None,