src/Pure/Admin/other_isabelle.scala
changeset 64189 dfb63036c4f6
parent 64188 f88bae1922c4
child 64201 c3edc64e219d
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Thu Oct 13 12:13:43 2016 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Thu Oct 13 15:17:10 2016 +0200
     1.3 @@ -21,9 +21,6 @@
     1.4        progress_stdout = progress.echo_if(echo, _),
     1.5        progress_stderr = progress.echo_if(echo, _))
     1.6  
     1.7 -  def copy_dir(dir1: Path, dir2: Path): Unit =
     1.8 -    bash("cp -a " + File.bash_path(dir1) + " " + File.bash_path(dir2)).check
     1.9 -
    1.10    def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
    1.11      bash("bin/isabelle " + cmdline, redirect, echo)
    1.12