--- a/src/Pure/Admin/isabelle_cronjob.scala Sun Nov 05 19:40:39 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sun Nov 05 19:55:18 2023 +0100
@@ -371,7 +371,7 @@
" -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
" -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
args = "-a -d '~~/src/Benchmarks'")),
- List(
+ Library.replicate(2,
Remote_Build("Windows", "vmnipkow9", history = 90,
components_base = "/cygdrive/d/isatest/contrib",
options = "-m32 -M4" +
@@ -381,7 +381,8 @@
args = "-a",
detect =
Build_Log.Settings.ML_PLATFORM.toString + " = " + SQL.string("x86-windows") + " OR " +
- Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64_32-windows")),
+ Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64_32-windows"))) :::
+ Library.replicate(2,
Remote_Build("Windows", "vmnipkow9", history = 90,
components_base = "/cygdrive/d/isatest/contrib",
options = "-m64 -M4" +