--- 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