src/Pure/Tools/build.scala
changeset 62298 d4e99aa28abc
parent 61602 a2f0f659a3c2
child 62302 236e1ea5a197
     1.1 --- a/src/Pure/Tools/build.scala	Sat Feb 13 21:10:13 2016 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Sat Feb 13 21:17:08 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_env(info.dir.file, env, script,
     1.8 +        Isabelle_System.bash_result(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)