--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Jan 28 16:51:41 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Jan 28 19:47:15 2023 +0100
@@ -140,6 +140,7 @@
historic: Boolean = false,
history: Int = 0,
history_base: String = "build_history_base",
+ clean_components: Boolean = false,
java_heap: String = "",
options: String = "",
args: String = "",
@@ -404,6 +405,8 @@
isabelle_repos,
isabelle_repos.ext(r.host),
isabelle_identifier = "cronjob_build_history",
+ clean_platforms = r.clean_components,
+ clean_archives = r.clean_components,
rev = rev,
afp_repos = if (afp_rev.isDefined) Some(afp_repos) else None,
afp_rev = afp_rev.getOrElse(""),