# HG changeset patch
# User wenzelm
# Date 1518520696 -3600
# Node ID 1b2be3666b8917c21a63dc8c4d8bf5d65b4b0e28
# Parent  724992318c828f856f92f3d4a6fa815c4ddc73ba
retain remote_builds_old for build_status;

diff -r 724992318c82 -r 1b2be3666b89 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Feb 13 12:09:51 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Feb 13 12:18:16 2018 +0100
@@ -170,6 +170,10 @@
 
   val remote_builds_old: List[Remote_Build] =
     List(
+      Remote_Build("AFP", "lxbroy7",
+          args = "-N -X slow",
+          afp = true,
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")),
       Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
         history_base = "37074e22e8be",
         options = "-m32 -B -M1x2,2 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",