# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1710939915 -3600
# Node ID 748c5f344707632e0181d2356f0543d0cdf6b5ac
# Parent  f08e5a234c1bcfcb1772720e828f8f92908d7419
always provide build_database_server option in benchmark command;

diff -r f08e5a234c1b -r 748c5f344707 src/Pure/Build/build_benchmark.scala
--- 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 = {