clarified description for mixed Mavericks / El Capitan system;
authorwenzelm
Mon Nov 27 16:57:34 2017 +0100 (7 weeks ago)
changeset 6710339cc38a06610
parent 67102 411e49edd905
child 67104 a2fa0c6a7aff
clarified description for mixed Mavericks / El Capitan system;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Nov 27 16:48:55 2017 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Nov 27 16:57:34 2017 +0100
     1.3 @@ -211,18 +211,18 @@
     1.4        List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
     1.5          options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
     1.6        List(
     1.7 -        Remote_Build("Mac OS X 10.9 Mavericks", "macbroy2",
     1.8 +        Remote_Build("Mac OS X", "macbroy2",
     1.9            options = "-m32 -M8" +
    1.10              " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
    1.11              " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml",
    1.12            args = "-a",
    1.13            detect = Build_Log.Prop.build_tags.undefined,
    1.14            history_base = "2c0f24e927dd"),
    1.15 -        Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2",
    1.16 +        Remote_Build("Mac OS X, quick_and_dirty", "macbroy2",
    1.17            options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty",
    1.18            detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty"),
    1.19            history_base = "2c0f24e927dd"),
    1.20 -        Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2",
    1.21 +        Remote_Build("Mac OS X, skip_proofs", "macbroy2",
    1.22            options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs",
    1.23            detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"),
    1.24            history_base = "2c0f24e927dd")),