more parallelism;
authorwenzelm
Thu, 11 Feb 2021 14:55:57 +0100
changeset 73487 62b6bc153b84
parent 73486 3e963d68d394
child 73488 9fd449357079
child 73538 dcf295994c90
child 74529 f47cab70ab49
child 74768 e35e98ef374d
more parallelism;
src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Feb 09 14:13:03 2021 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Feb 11 14:55:57 2021 +0100
@@ -345,7 +345,8 @@
             " -e ISABELLE_MLTON=/usr/local/bin/mlton" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
-          self_update = true, args = "-a -d '~~/src/Benchmarks'"),
+          self_update = true, args = "-a -d '~~/src/Benchmarks'")),
+      List(
         Remote_Build("macOS 10.14 Mojave", "mini2",
           options = "-m32 -B -M1x2,2,4 -p pide_session=false" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +