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;
authorwenzelm
Fri, 05 May 2017 20:00:53 +0200
changeset 65735 4eab1aa8f9c3
parent 65734 03257db12a04
child 65736 2e7230b66a32
tuned;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri May 05 18:35:30 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri May 05 20:00:53 2017 +0200
@@ -97,13 +97,12 @@
     detect: SQL.Source = "")
   {
     def sql: SQL.Source =
-      SQL.enclose(
-        Build_Log.Prop.build_engine + " = " + SQL.string(Build_History.engine) + " AND " +
-        Build_Log.Prop.build_host + " = " + SQL.string(host)) +
-        (if (detect == "") "" else " AND " + SQL.enclose(detect))
+      Build_Log.Prop.build_engine + " = " + SQL.string(Build_History.engine) + " AND " +
+      Build_Log.Prop.build_host + " = " + SQL.string(host) +
+      (if (detect == "") "" else " AND " + SQL.enclose(detect))
   }
 
-  val remote_builds =
+  val remote_builds: List[List[Remote_Build]] =
   {
     List(
       List(Remote_Build("polyml-test", "lxbroy8",
isabelle