Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 70466 9af9cf410f65
parent 70241 4e612a13c1ee
child 70467 b32d571f1190 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Aug 03 21:18:12 2019 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Aug 05 11:08:50 2019 +0200
@@ -330,7 +330,7 @@
       List(
         Remote_Build("AFP bulky", "lrzcloud1", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
-          ssh_host = "10.155.208.96", ssh_permissive = true,
+          ssh_host = "10.155.208.96",
           options = "-m64 -M6 -U30000 -s10 -t AFP",
           args = "-g large -g slow",
           afp = true,
isabelle