# HG changeset patch
# User wenzelm
# Date 1674933220 -3600
# Node ID 973cd25af2803dd7a3022d28beaed31faaeb501f
# Parent  158790217aa972218f245ac87db70487315cc80e
unused (see 378bb7a739c3);

diff -r 158790217aa9 -r 973cd25af280 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Sat Jan 28 19:47:15 2023 +0100
+++ b/src/Pure/Admin/build_history.scala	Sat Jan 28 20:13:40 2023 +0100
@@ -557,17 +557,6 @@
         rev = rev, afp_rev = afp_rev, afp_root = if (afp) afp_repos else None)
     }
 
-    def execute(command: String, args: String,
-      echo: Boolean = false,
-      strict: Boolean = true
-    ): Unit =
-      ssh.execute(
-        Isabelle_System.export_isabelle_identifier(isabelle_identifier) +
-          ssh.bash_path(isabelle_self + Path.explode(command)) + " " + args,
-        progress_stdout = progress.echo_if(echo, _),
-        progress_stderr = progress.echo_if(echo, _),
-        strict = strict).check
-
     sync(isabelle_self)
 
     val self_isabelle =