# HG changeset patch
# User wenzelm
# Date 1475586206 -7200
# Node ID 7f3b6af235133b108642b529cacef0bda2f3984b
# Parent  a14fe26c014405abf214ac8b8c4ffb98eca14dae
clarified output;

diff -r a14fe26c0144 -r 7f3b6af23513 src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Tue Oct 04 14:53:06 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Tue Oct 04 15:03:26 2016 +0200
@@ -58,11 +58,13 @@
 
     /* invoke isabelle tools */
 
-    def bash(script: String): Process_Result =
+    def bash(script: String, redirect: Boolean = false): Process_Result =
       Isabelle_System.bash("env ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) +
-        " " + script, cwd = hg.root.file, env = null)
+        " " + script, cwd = hg.root.file, env = null, redirect = redirect)
 
-    def isabelle(cmdline: String): Process_Result = bash("bin/isabelle " + cmdline)
+    def isabelle(cmdline: String, redirect: Boolean = false): Process_Result =
+      bash("bin/isabelle " + cmdline, redirect)
+
     val isabelle_home_user: Path = Path.explode(isabelle("getenv -b ISABELLE_HOME_USER").check.out)
 
 
@@ -158,10 +160,10 @@
 
     /* build */
 
-    isabelle("components -a").check.print_if(verbose)
-    isabelle("jedit -b" + (if (fresh) " -f" else "")).check.print_if(verbose)
+    isabelle("components -a", redirect = true).check.print_if(verbose)
+    isabelle("jedit -b" + (if (fresh) " -f" else ""), redirect = true).check.print_if(verbose)
 
-    isabelle("build " + File.bash_args(build_args))
+    isabelle("build " + File.bash_args(build_args), redirect = true)
   }