# HG changeset patch
# User wenzelm
# Date 1494599069 -7200
# Node ID 8d5ac49388ea9e5c747de6a5c75b415ba43e7591
# Parent  cb3e9d7f1d5f0bd4cb5903d1725c694ed469c59e
more explicit flag for historic builds;

diff -r cb3e9d7f1d5f -r 8d5ac49388ea src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri May 12 16:21:13 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri May 12 16:24:29 2017 +0200
@@ -106,6 +106,7 @@
     port: Int = 0,
     shared_home: Boolean = true,
     history: Int = 0,
+    historic: Boolean = false,
     options: String = "",
     args: String = "",
     detect: SQL.Source = "")
@@ -130,7 +131,7 @@
         val known_rev =
           rev != "" && items.exists(item => item.known && item.isabelle_version == rev)
 
-        if (history > 0 || known_rev) {
+        if (historic || known_rev) {
           val longest_run =
             (List.empty[Item] /: runs)({ case (item1, item2) =>
               if (item1.length >= item2.length) item1 else item2
@@ -157,13 +158,13 @@
   val remote_builds: List[List[Remote_Build]] =
   {
     List(
-      List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
+      List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8", history = 90, historic = true,
         options = "-m32 -B -M1x2,2 -t polyml-5.7 -e 'init_component /home/isabelle/contrib/polyml-5.7'",
         args = "-N -g timing",
         detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7"))),
       List(Remote_Build("Linux A", "lxbroy9",
         options = "-m32 -B -M1x2,2", args = "-N -g timing")),
-      List(Remote_Build("Linux B", "lxbroy10", history = 90,
+      List(Remote_Build("Linux B", "lxbroy10", history = 90, historic = true,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
       List(
         Remote_Build("Mac OS X 10.9 Mavericks", "macbroy2", options = "-m32 -M8", args = "-a",