--- a/src/Pure/Tools/build.scala Sat Jan 12 16:43:38 2013 +0100
+++ b/src/Pure/Tools/build.scala Sat Jan 12 17:28:07 2013 +0100
@@ -488,8 +488,10 @@
Simple_Thread.future("build") {
Isabelle_System.bash_env(info.dir.file, env, script,
out_progress = (line: String) =>
- if (line.startsWith(LOADING_THEORY))
- progress.theory(name, line.substring(LOADING_THEORY.length)))
+ Library.try_unprefix("\floading_theory = ", line) match {
+ case Some(theory) => progress.theory(name, theory)
+ case None =>
+ })
}
def terminate: Unit = thread.interrupt
@@ -526,7 +528,6 @@
private def log_gz(name: String): Path = log(name).ext("gz")
private val SESSION_PARENT_PATH = "\fSession.parent_path = "
- private val LOADING_THEORY = "\floading_theory = "
sealed case class Log_Info(stats: List[Properties.T], timing: Properties.T)