src/Pure/Admin/isabelle_cronjob.scala
changeset 66008 010698325e36
parent 66007 6706d6f0afda
child 66009 4fe8e0b2590a
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Jun 05 15:37:51 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Jun 05 15:56:00 2017 +0200
     1.3 @@ -203,14 +203,14 @@
     1.4            detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
     1.5        List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")),
     1.6        List(
     1.7 -        Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false,
     1.8 +        Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, shared_home = false,
     1.9            options = "-m32 -M4" +
    1.10              " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" +
    1.11              " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
    1.12              " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
    1.13            args = "-a",
    1.14            detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")),
    1.15 -        Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false,
    1.16 +        Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, shared_home = false,
    1.17            options = "-m64 -M4" +
    1.18              " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" +
    1.19              " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +