tuned;
authorwenzelm
Wed May 10 22:20:02 2017 +0200 (2017-05-10)
changeset 658023fa7ee46a4c8
parent 65801 aeb776b5b054
child 65803 1fdb6ba9d32c
tuned;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Wed May 10 19:16:58 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed May 10 22:20:02 2017 +0200
     1.3 @@ -147,7 +147,7 @@
     1.4          detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-test"))),
     1.5        List(Remote_Build("Linux A", "lxbroy9",
     1.6          options = "-m32 -B -M1x2,2", args = "-N -g timing")),
     1.7 -      List(Remote_Build("Linux B", "lxbroy10", history = 100,
     1.8 +      List(Remote_Build("Linux B", "lxbroy10", history = 90,
     1.9          options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
    1.10        List(
    1.11          Remote_Build("Mac OS X 10.9 Mavericks", "macbroy2", options = "-m32 -M8", args = "-a",
    1.12 @@ -163,10 +163,10 @@
    1.13            detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
    1.14        List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")),
    1.15        List(
    1.16 -        Remote_Build("Windows", "vmnipkow9", history = 100, shared_home = false,
    1.17 +        Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false,
    1.18            options = "-m32 -M4", args = "-a",
    1.19            detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")),
    1.20 -        Remote_Build("Windows", "vmnipkow9", history = 100, shared_home = false,
    1.21 +        Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false,
    1.22            options = "-m64 -M4", args = "-a",
    1.23            detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))))
    1.24    }