--- 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 = {