src/Pure/Tools/imports.scala
changeset 65830 064925cb656f
parent 65824 4ff79bd2b265
child 65833 95fd3b9888e6
     1.1 --- a/src/Pure/Tools/imports.scala	Sun May 14 17:08:12 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Sun May 14 17:19:22 2017 +0200
     1.3 @@ -14,10 +14,11 @@
     1.4  {
     1.5    /* repository files */
     1.6  
     1.7 -  def repository_files(start: Path, pred: JFile => Boolean = _ => true): List[JFile] =
     1.8 +  def repository_files(progress: Progress, start: Path, pred: JFile => Boolean = _ => true)
     1.9 +      : List[JFile] =
    1.10      Mercurial.find_repository(start) match {
    1.11        case None =>
    1.12 -        Output.warning("Ignoring directory " + start + " (no Mercurial repository)")
    1.13 +        progress.echo_warning("Ignoring directory " + start + " (no Mercurial repository)")
    1.14          Nil
    1.15        case Some(hg) =>
    1.16          val start_path = start.file.getCanonicalFile.toPath
    1.17 @@ -121,7 +122,7 @@
    1.18        val unused_files =
    1.19          for {
    1.20            (_, dir) <- Sessions.directories(dirs, select_dirs)
    1.21 -          file <- repository_files(dir, file => file.getName.endsWith(".thy"))
    1.22 +          file <- repository_files(progress, dir, file => file.getName.endsWith(".thy"))
    1.23            if deps.all_known.get_file(file).isEmpty
    1.24          } yield file
    1.25        unused_files.foreach(file => progress.echo("unused file " + quote(file.toString)))