# HG changeset patch
# User wenzelm
# Date 1684832201 -7200
# Node ID c3efa0b63d2e3b202089cfabcc14c84c03a336eb
# Parent  070703d83cfe639d875f5f3099c0c8c8f1239502
tuned;

diff -r 070703d83cfe -r c3efa0b63d2e src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 22 12:01:05 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue May 23 10:56:41 2023 +0200
@@ -57,8 +57,9 @@
             """ -a --include="*/" --include="plain_identify*" --exclude="*" """ +
             Bash.string(backup + "/log/.") + " " + File.bash_path(main_dir) + "/log/.").check
 
-        if (!Isabelle_Devel.cronjob_log.is_file)
+        if (!Isabelle_Devel.cronjob_log.is_file) {
           Files.createSymbolicLink(Isabelle_Devel.cronjob_log.java_path, current_log.java_path)
+        }
       })
 
   val exit: Logger_Task =
@@ -292,7 +293,7 @@
       Remote_Build("macOS 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
         detect = Build_Log.Prop.build_start.toString + " < date '2017-03-03'")) :::
       {
-        for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }
+        for ((n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")))
         yield {
           Remote_Build("AFP old", host = hosts.head, more_hosts = hosts.tail,
             options = "-m32 -M1x2 -t AFP -P" + n +