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 "") +