Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper echo;
authorwenzelm
Thu, 20 Oct 2016 11:04:38 +0200
changeset 64315 e48e2532ac17
parent 64314 93de02f9c2d9
child 64316 96fef7745c68
proper echo; tuned;
src/Pure/Admin/other_isabelle.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/other_isabelle.scala	Thu Oct 20 10:30:11 2016 +0200
+++ b/src/Pure/Admin/other_isabelle.scala	Thu Oct 20 11:04:38 2016 +0200
@@ -7,7 +7,7 @@
 package isabelle
 
 
-private class Other_Isabelle(progress: Progress, isabelle_home: Path, isabelle_identifier: String)
+class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String)
 {
   other_isabelle =>
 
@@ -17,7 +17,7 @@
   def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     progress.bash(
       "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
-      env = null, cwd = isabelle_home.file, redirect = redirect)
+      env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
 
   def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     bash("bin/isabelle " + cmdline, redirect, echo)
isabelle