src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Mon May 13 16:40:59 2013 +0200
+++ b/src/Pure/Tools/build.scala	Mon May 13 19:52:16 2013 +0200
@@ -526,10 +526,15 @@
     private val (thread, result) =
       Simple_Thread.future("build") {
         Isabelle_System.bash_env(info.dir.file, env, script,
-          out_progress = (line: String) =>
+          progress_stdout = (line: String) =>
             Library.try_unprefix("\floading_theory = ", line) match {
               case Some(theory) => progress.theory(name, theory)
               case None =>
+            },
+          progress_limit =
+            info.options.int("process_output_limit") match {
+              case 0 => None
+              case m => Some(m * 1000000L)
             })
       }