Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 02 Mar 2023 15:39:14 +0100
changeset 77479 abc9706a4ca2
parent 77478 e50cad69cbe7
child 77480 1082f0d6628b
tuned;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Mar 02 15:04:24 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Mar 02 15:39:14 2023 +0100
@@ -196,11 +196,9 @@
 
     def build_history_options: String =
       " -h " + Bash.string(host) + " " +
-      (java_heap match {
-        case "" => ""
-        case h =>
-          "-e 'ISABELLE_TOOL_JAVA_OPTIONS=\"$ISABELLE_TOOL_JAVA_OPTIONS -Xmx" + h + "\"' "
-      }) + options
+      if_proper(java_heap,
+        "-e 'ISABELLE_TOOL_JAVA_OPTIONS=\"$ISABELLE_TOOL_JAVA_OPTIONS -Xmx" + java_heap + "\"' ") +
+      options
   }
 
   val remote_builds_old: List[Remote_Build] =
isabelle