tuned signature;
authorwenzelm
Fri May 26 11:09:16 2017 +0200 (23 months ago)
changeset 659309a28fc03c3fe
parent 65929 de3adcf6a276
child 65931 83c44969f431
tuned signature;
src/Pure/Admin/other_isabelle.scala
src/Pure/System/progress.scala
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Thu May 25 21:59:53 2017 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Fri May 26 11:09:16 2017 +0200
     1.3 @@ -14,12 +14,20 @@
     1.4  
     1.5    /* static system */
     1.6  
     1.7 -  def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     1.8 +  def bash(
     1.9 +      script: String,
    1.10 +      redirect: Boolean = false,
    1.11 +      echo: Boolean = false,
    1.12 +      strict: Boolean = true): Process_Result =
    1.13      progress.bash(Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
    1.14 -      env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
    1.15 +      env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo, strict = strict)
    1.16  
    1.17 -  def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
    1.18 -    bash("bin/isabelle " + cmdline, redirect, echo)
    1.19 +  def apply(
    1.20 +      cmdline: String,
    1.21 +      redirect: Boolean = false,
    1.22 +      echo: Boolean = false,
    1.23 +      strict: Boolean = true): Process_Result =
    1.24 +    bash("bin/isabelle " + cmdline, redirect = redirect, echo = echo, strict = strict)
    1.25  
    1.26    def resolve_components(echo: Boolean): Unit =
    1.27      other_isabelle("components -a", redirect = true, echo = echo).check
     2.1 --- a/src/Pure/System/progress.scala	Thu May 25 21:59:53 2017 +0200
     2.2 +++ b/src/Pure/System/progress.scala	Fri May 26 11:09:16 2017 +0200
     2.3 @@ -29,11 +29,13 @@
     2.4      cwd: JFile = null,
     2.5      env: Map[String, String] = Isabelle_System.settings(),
     2.6      redirect: Boolean = false,
     2.7 -    echo: Boolean = false): Process_Result =
     2.8 +    echo: Boolean = false,
     2.9 +    strict: Boolean = true): Process_Result =
    2.10    {
    2.11      Isabelle_System.bash(script, cwd = cwd, env = env, redirect = redirect,
    2.12        progress_stdout = echo_if(echo, _),
    2.13 -      progress_stderr = echo_if(echo, _))
    2.14 +      progress_stderr = echo_if(echo, _),
    2.15 +      strict = strict)
    2.16    }
    2.17  }
    2.18