# HG changeset patch
# User wenzelm
# Date 1511101621 -3600
# Node ID 2c0f24e927dd911a6bd1d242f20f9acfaf6bcec9
# Parent  02483f568c52455c7be8ca640ac69c4444f1f6bf
macbroy2 is inactive: system update;

diff -r 02483f568c52 -r 2c0f24e927dd src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Nov 17 12:59:18 2017 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 15:27:01 2017 +0100
@@ -123,7 +123,8 @@
     afp: Boolean = false,
     slow: Boolean = false,
     more_hosts: List[String] = Nil,
-    detect: SQL.Source = "")
+    detect: SQL.Source = "",
+    active: Boolean = true)
   {
     def sql: SQL.Source =
       Build_Log.Prop.build_engine + " = " + SQL.string(Build_History.engine) + " AND " +
@@ -215,13 +216,16 @@
             " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
             " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml",
           args = "-a",
-          detect = Build_Log.Prop.build_tags.undefined),
+          detect = Build_Log.Prop.build_tags.undefined,
+          active = false),
         Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2",
           options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty",
-          detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty")),
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty"),
+          active = false),
         Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2",
           options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs",
-          detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"))),
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"),
+          active = false)),
       List(
         Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
           detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
@@ -459,7 +463,7 @@
           SEQ(List(build_release, build_history_base,
             PAR(List(remote_builds1, remote_builds2).map(remote_builds =>
               SEQ(List(
-                PAR(remote_builds.map(seq =>
+                PAR(remote_builds.map(_.filter(_.active)).map(seq =>
                   SEQ(
                     for {
                       (r, i) <- (if (seq.length <= 1) seq.map((_, -1)) else seq.zipWithIndex)