# HG changeset patch
# User wenzelm
# Date 1674937953 -3600
# Node ID c8d34e74a12b3e0ccfc4c4f7d0d529cef160b987
# Parent  2b8cf3b94cdeadc80f11115ef8e1a8cee5ec1be6
tuned signature;

diff -r 2b8cf3b94cde -r c8d34e74a12b src/Pure/Admin/build_history.scala
--- 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 "") +
diff -r 2b8cf3b94cde -r c8d34e74a12b src/Pure/Admin/isabelle_cronjob.scala
--- 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,