src/Pure/Tools/build.scala
changeset 56668 56335a8e2e8b
parent 56667 65e84b0ef974
child 56779 9823818588fb
     1.1 --- a/src/Pure/Tools/build.scala	Wed Apr 23 12:39:23 2014 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Wed Apr 23 12:51:55 2014 +0200
     1.3 @@ -423,6 +423,8 @@
     1.4        verbose: Boolean, list_files: Boolean, tree: Session_Tree): Deps =
     1.5      Deps((Map.empty[String, Session_Content] /: tree.topological_order)(
     1.6        { case (deps, (name, info)) =>
     1.7 +          if (progress.stopped) throw Exn.Interrupt()
     1.8 +
     1.9            try {
    1.10              val (preloaded, parent_syntax) =
    1.11                info.parent match {