macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
authorwenzelm
Sat Nov 25 15:22:17 2017 +0100 (8 months ago)
changeset 67089c96ee0eb0d5f
parent 67088 89e82aed7813
child 67090 0ec94bb9cec4
macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 25 15:21:02 2017 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 25 15:22:17 2017 +0100
     1.3 @@ -217,15 +217,15 @@
     1.4              " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml",
     1.5            args = "-a",
     1.6            detect = Build_Log.Prop.build_tags.undefined,
     1.7 -          active = false),
     1.8 +          history_base = "2c0f24e927dd"),
     1.9          Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2",
    1.10            options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty",
    1.11            detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty"),
    1.12 -          active = false),
    1.13 +          history_base = "2c0f24e927dd"),
    1.14          Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2",
    1.15            options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs",
    1.16            detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"),
    1.17 -          active = false)),
    1.18 +          history_base = "2c0f24e927dd")),
    1.19        List(
    1.20          Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
    1.21            detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),