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.
always provide build_database_server option in benchmark command;
authorFabian Huch <huch@in.tum.de>
Wed, 20 Mar 2024 14:05:15 +0100
changeset 79932 748c5f344707
parent 79931 f08e5a234c1b
child 79933 3f415c76a511
always provide build_database_server option in benchmark command;
src/Pure/Build/build_benchmark.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Build/build_benchmark.scala	Wed Mar 20 13:58:55 2024 +0100
+++ b/src/Pure/Build/build_benchmark.scala	Wed Mar 20 14:05:15 2024 +0100
@@ -18,9 +18,10 @@
     ssh: SSH.System = SSH.Local,
     isabelle_home: Path = Path.current,
   ): String = {
-    val options = Options.Spec.eq("build_hostname", host.name) :: host.options
+    val benchmark_options =
+      List(Options.Spec.eq("build_hostname", host.name), Options.Spec("build_database_server"))
     ssh.bash_path(Isabelle_Tool.exe(isabelle_home)) + " build_benchmark" +
-      Options.Spec.bash_strings(options, bg = true)
+      Options.Spec.bash_strings(benchmark_options ::: host.options, bg = true)
   }
 
   def benchmark_requirements(options: Options, progress: Progress = new Progress): Unit = {
isabelle