src/Pure/Admin/other_isabelle.scala
changeset 65930 9a28fc03c3fe
parent 65916 5b8ed310b31d
child 67045 6c94f749410a
     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