# HG changeset patch
# User wenzelm
# Date 1494592821 -7200
# Node ID 0156222f2a18438afd8c07ad138e3aebcd93fa97
# Parent  d3c5898f1a5e6c276374e54c2a1b7aae4b06e6fb
tuned -- more visible;

diff -r d3c5898f1a5e -r 0156222f2a18 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri May 12 14:33:57 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri May 12 14:40:21 2017 +0200
@@ -138,7 +138,17 @@
     }
   }
 
-  private val remote_builds: List[List[Remote_Build]] =
+  val remote_builds_old: List[Remote_Build] =
+    List(
+      Remote_Build("Poly/ML test", "lxbroy8",
+        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
+        args = "-N -g timing",
+        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-test")),
+      Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
+        detect = Build_Log.Prop.build_start + " < date '2017-03-03'"))
+
+
+  val remote_builds: List[List[Remote_Build]] =
   {
     List(
       List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
@@ -171,16 +181,6 @@
           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))))
   }
 
-  private val remote_builds_old: List[Remote_Build] =
-    List(
-      Remote_Build("Poly/ML test", "lxbroy8",
-        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
-        args = "-N -g timing",
-        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-test")),
-      Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
-        detect = Build_Log.Prop.build_start + " < date '2017-03-03'"))
-
-                      
   private def remote_build_history(rev: String, r: Remote_Build): Logger_Task =
   {
     val task_name = "build_history-" + r.host