# HG changeset patch
# User wenzelm
# Date 1520090121 -3600
# Node ID 9494fcf124ab1877c55e01b3be582b53ae374a87
# Parent  f6f77517dc32dc7b45e7a13414e22aeeb8a4cda6
accomodate smaller build machine;

diff -r f6f77517dc32 -r 9494fcf124ab src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 03 15:19:25 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 03 16:15:21 2018 +0100
@@ -58,8 +58,8 @@
   val build_release =
     Logger_Task("build_release", logger =>
       {
-        Isabelle_Devel.release_snapshot(rev = get_rev(), afp_rev = get_afp_rev(),
-          parallel_jobs = 4, remote_mac = "macbroy31")
+        Isabelle_Devel.release_snapshot(
+          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy31")
       })