# HG changeset patch
# User wenzelm
# Date 1508092464 -7200
# Node ID 740d22146cb63df978f3c372cd0b6a0ce6012c8b
# Parent  b00d8e1f8ddddb60cb531e186ca85912e8d4699a
more AFP tests;

diff -r b00d8e1f8ddd -r 740d22146cb6 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 20:31:52 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 20:34:24 2017 +0200
@@ -241,7 +241,13 @@
             " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
           args = "-a",
-          detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))
+          detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
+      List(
+        Remote_Build("AFP slow", "lrzcloud1",
+          options = "-m64 -M6 -s10 -t AFP",
+          args = "-g slow -X very_slow",
+          afp = true,
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))
     ) :::
     {
       for { (host, n) <- List("lxbroy6" -> 1, "lxbroy7" -> 2) }