# HG changeset patch
# User wenzelm
# Date 1508367334 -7200
# Node ID ee874941dfb830f7cee386bf9560e2994c97003a
# Parent  2d98b0141d896d637b0b423ff9641d0e99d8f829
proper integer option for Admin/build_history;

diff -r 2d98b0141d89 -r ee874941dfb8 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 18 20:26:32 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Oct 19 00:55:34 2017 +0200
@@ -243,7 +243,7 @@
           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
       List(
         Remote_Build("AFP slow", "lrzcloud1", shared_home = false,
-          options = "-m64 -M6 -U30g -s10 -t AFP",
+          options = "-m64 -M6 -U30000 -s10 -t AFP",
           args = "-g slow -X very_slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))