# HG changeset patch # User wenzelm # Date 1593789086 -7200 # Node ID bbec0acf2592663c1cdafd20247c15ca471e4b90 # Parent 088e3aa85250ee3eeae1509150c880113437183a use less memory on old hardware; diff -r 088e3aa85250 -r bbec0acf2592 src/Pure/Admin/isabelle_cronjob.scala --- 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",