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.
use less memory on old hardware;
authorwenzelm
Fri, 03 Jul 2020 17:11:26 +0200
changeset 71994 bbec0acf2592
parent 71993 088e3aa85250
child 71995 cb7ddc321f52
use less memory on old hardware;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 03 17:00:41 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 03 17:11:26 2020 +0200
@@ -276,11 +276,12 @@
   {
     List(
       List(Remote_Build("Linux A", "lxbroy9",
-        options = "-m32 -B -M1x2,2", args = "-N -g timing")),
+        java_heap = "2g", options = "-m32 -B -M1x2,2", args = "-N -g timing")),
       List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
       List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90,
-        options = "-m32 -B -M1x2,2 -t Benchmarks" +
+        java_heap = "2g",
+          options = "-m32 -B -M1x2,2 -t Benchmarks" +
             " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
             " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind -e ISABELLE_SMLNJ=sml" +
             " -e ISABELLE_SWIPL=swipl",
isabelle