more parallelism to cope with 8h30 CPU time;
authorwenzelm
Tue Jun 05 23:26:15 2018 +0200 (11 months ago)
changeset 6838554f07e7f68f9
parent 68384 4a3fc3420747
child 68387 691c02d1699b
child 68388 eb9d7e8708d5
more parallelism to cope with 8h30 CPU time;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Jun 05 21:29:54 2018 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Jun 05 23:26:15 2018 +0200
     1.3 @@ -260,7 +260,7 @@
     1.4        List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
     1.5          options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
     1.6        List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90,
     1.7 -        options = "-m32 -B -M1,2 -t Benchmarks" +
     1.8 +        options = "-m32 -B -M1x2,2 -t Benchmarks" +
     1.9              " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
    1.10              " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=sml -e ISABELLE_SWIPL=swipl",
    1.11            args = "-N -a -d '~~/src/Benchmarks'",