proper integer option for Admin/build_history;
authorwenzelm
Thu Oct 19 00:55:34 2017 +0200 (22 months ago)
changeset 66883ee874941dfb8
parent 66882 2d98b0141d89
child 66885 d3d508b23d1d
proper integer option for Admin/build_history;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 18 20:26:32 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 19 00:55:34 2017 +0200
     1.3 @@ -243,7 +243,7 @@
     1.4            detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
     1.5        List(
     1.6          Remote_Build("AFP slow", "lrzcloud1", shared_home = false,
     1.7 -          options = "-m64 -M6 -U30g -s10 -t AFP",
     1.8 +          options = "-m64 -M6 -U30000 -s10 -t AFP",
     1.9            args = "-g slow -X very_slow",
    1.10            afp = true,
    1.11            detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))