src/Pure/Tools/build.scala
changeset 62302 236e1ea5a197
parent 62298 d4e99aa28abc
child 62303 f868f12f9419
     1.1 --- a/src/Pure/Tools/build.scala	Sat Feb 13 21:17:08 2016 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Sun Feb 14 11:52:27 2016 +0100
     1.3 @@ -602,7 +602,7 @@
     1.4  
     1.5      private val result =
     1.6        Future.thread("build") {
     1.7 -        Isabelle_System.bash_result(script, info.dir.file, env,
     1.8 +        Isabelle_System.bash(script, info.dir.file, env,
     1.9            progress_stdout = (line: String) =>
    1.10              Library.try_unprefix("\floading_theory = ", line) match {
    1.11                case Some(theory) => progress.theory(name, theory)