Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned output;
authorwenzelm
Sun, 22 Oct 2017 22:22:19 +0200
changeset 66903 c078509d4606
parent 66902 f6bc83ffda02
child 66904 d9783ea1160c
tuned output;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 16:43:00 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 22:22:19 2017 +0200
@@ -245,7 +245,7 @@
     {
       for { (host, n) <- List("lxbroy6" -> 1, "lxbroy7" -> 2) }
       yield {
-        List(Remote_Build("AFP " + n, host = host,
+        List(Remote_Build("AFP", host = host,
           options = "-m32 -M1x2 -t AFP -P" + n,
           args = "-N -X slow",
           afp = true,
isabelle