Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_history.scala
changeset 77131 c8d34e74a12b
parent 77129 c79da77d9e87
child 77132 53ce5a39c987 
--- 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 "") +
isabelle