# HG changeset patch
# User wenzelm
# Date 1697484476 -7200
# Node ID fb46520b9b7c0d95aa57b549563f056b0dea5142
# Parent  b78158997a28002b510d0d5a1b77b7b7a35769e7
proper parallel build tasks;

diff -r b78158997a28 -r fb46520b9b7c src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 14:59:19 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Oct 16 21:27:56 2023 +0200
@@ -334,7 +334,8 @@
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
-          args = "-a -d '~~/src/Benchmarks'"),
+          args = "-a -d '~~/src/Benchmarks'")),
+      List(
         Remote_Build("macOS 14 Sonoma (Intel)", "mini2-sonoma",
           options = "-m32 -B -M1x2,2,4 -p pide_session=false" +
             " -e ISABELLE_GHC_SETUP=true" +