src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Sat Feb 13 23:59:35 2016 +0100
+++ b/src/Pure/Tools/build.scala	Sun Feb 14 11:52:27 2016 +0100
@@ -602,7 +602,7 @@
 
     private val result =
       Future.thread("build") {
-        Isabelle_System.bash_result(script, info.dir.file, env,
+        Isabelle_System.bash(script, info.dir.file, env,
           progress_stdout = (line: String) =>
             Library.try_unprefix("\floading_theory = ", line) match {
               case Some(theory) => progress.theory(name, theory)