--- a/src/Pure/Admin/other_isabelle.scala Thu May 25 21:59:53 2017 +0200
+++ b/src/Pure/Admin/other_isabelle.scala Fri May 26 11:09:16 2017 +0200
@@ -14,12 +14,20 @@
/* static system */
- def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
+ def bash(
+ script: String,
+ redirect: Boolean = false,
+ echo: Boolean = false,
+ strict: Boolean = true): Process_Result =
progress.bash(Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
- env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
+ env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo, strict = strict)
- def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
- bash("bin/isabelle " + cmdline, redirect, echo)
+ def apply(
+ cmdline: String,
+ redirect: Boolean = false,
+ echo: Boolean = false,
+ strict: Boolean = true): Process_Result =
+ bash("bin/isabelle " + cmdline, redirect = redirect, echo = echo, strict = strict)
def resolve_components(echo: Boolean): Unit =
other_isabelle("components -a", redirect = true, echo = echo).check