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/System/benchmark.scala
changeset 78915 90756ad4d8d7
parent 78908 f38153e58f21
child 78916 e97fa2edf4b2 
--- a/src/Pure/System/benchmark.scala	Wed Nov 08 12:41:41 2023 +0100
+++ b/src/Pure/System/benchmark.scala	Wed Nov 08 13:00:24 2023 +0100
@@ -16,7 +16,7 @@
   ): String = {
     val options = Options.Spec("build_hostname", Some(host.name)) :: host.options
     ssh.bash_path(isabelle_home + Path.explode("bin/isabelle")) + " benchmark" +
-      Options.Spec.bash_strings(options)
+      Options.Spec.bash_strings(options, bg = true)
   }
 
   def benchmark(options: Options, progress: Progress = new Progress()): Unit = {
isabelle