src/Pure/Admin/other_isabelle.scala
changeset 64201 c3edc64e219d
parent 64189 dfb63036c4f6
child 64304 96bc94c87a81
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Thu Oct 13 22:59:20 2016 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Thu Oct 13 23:09:26 2016 +0200
     1.3 @@ -15,11 +15,9 @@
     1.4    /* static system */
     1.5  
     1.6    def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     1.7 -    Isabelle_System.bash(
     1.8 +    progress.bash(
     1.9        "export ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) + "\n" + script,
    1.10 -      env = null, cwd = isabelle_home.file, redirect = redirect,
    1.11 -      progress_stdout = progress.echo_if(echo, _),
    1.12 -      progress_stderr = progress.echo_if(echo, _))
    1.13 +      env = null, cwd = isabelle_home.file, redirect = redirect)
    1.14  
    1.15    def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
    1.16      bash("bin/isabelle " + cmdline, redirect, echo)