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.
tuned signature, in accordance to Isabelle_System;
authorwenzelm
Tue, 18 Oct 2016 16:11:13 +0200
changeset 64306 7b6dc1b36f20
parent 64305 4bdea66b01b8
child 64307 c4d16f35c6e7
tuned signature, in accordance to Isabelle_System;
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/ssh.scala	Tue Oct 18 16:08:55 2016 +0200
+++ b/src/Pure/General/ssh.scala	Tue Oct 18 16:11:13 2016 +0200
@@ -324,6 +324,8 @@
 
     /* tmp dirs */
 
+    def rm_tree(dir: Path): Unit = rm_tree(remote_path(dir))
+
     def rm_tree(remote_dir: String): Unit =
       execute("rm -r -f " + Bash.string(remote_dir)).check
isabelle