src/Pure/Admin/other_isabelle.scala
changeset 64315 e48e2532ac17
parent 64304 96bc94c87a81
child 65845 b8ff63149256
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Thu Oct 20 10:30:11 2016 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Thu Oct 20 11:04:38 2016 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -private class Other_Isabelle(progress: Progress, isabelle_home: Path, isabelle_identifier: String)
     1.8 +class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String)
     1.9  {
    1.10    other_isabelle =>
    1.11  
    1.12 @@ -17,7 +17,7 @@
    1.13    def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
    1.14      progress.bash(
    1.15        "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
    1.16 -      env = null, cwd = isabelle_home.file, redirect = redirect)
    1.17 +      env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
    1.18  
    1.19    def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
    1.20      bash("bin/isabelle " + cmdline, redirect, echo)