# HG changeset patch
# User wenzelm
# Date 1602096807 -7200
# Node ID 2bbc7365e8c44b44a49097bd678ee3cd0e0cb1ef
# Parent  37c1fbcc88d03ccc13c09cd57d3620d2c6f8672a
clarified multicore options;

diff -r 37c1fbcc88d0 -r 2bbc7365e8c4 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 07 20:51:04 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 07 20:53:27 2020 +0200
@@ -314,10 +314,10 @@
           detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
       List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2 -p pide_session=false", args = "-a")),
       List(Remote_Build("Mac OS X 10.13 High Sierra", "lapbroy68",
-        options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
+        options = "-m32 -B -M1,2,4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
         self_update = true, args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Mac OS X 10.14 Mojave", "mini2",
-        options = "-m32 -M1,2,4 -p pide_session=false" +
+        options = "-m32 -B -M1x2,2,4 -p pide_session=false" +
           " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
           " -e ISABELLE_GHC_SETUP=true" +
           " -e ISABELLE_MLTON=/usr/local/bin/mlton" +