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/Tools/build_cluster.scala
changeset 78559 020fecb4da0c
parent 78558 ca0fe2802123
child 78560 39f6f180008d 
--- a/src/Pure/Tools/build_cluster.scala	Tue Aug 22 09:28:44 2023 +0200
+++ b/src/Pure/Tools/build_cluster.scala	Tue Aug 22 09:39:37 2023 +0200
@@ -159,7 +159,7 @@
       val script =
         Build.build_worker_command(host,
           ssh = ssh,
-          build_options = List(options.check_name("build_database_server").spec),
+          build_options = List(options.spec("build_database_server")),
           build_id = build_context.build_uuid,
           isabelle_home = remote_isabelle_home,
           afp_root = remote_afp_root)
isabelle