src/Pure/Tools/build.scala
changeset 67782 7e223a05e6d8
parent 67493 c4e9e0c50487
child 67835 c8e4ee2b5482
equal deleted inserted replaced
67781:a8a3f73623e7 67782:7e223a05e6d8
   436           (_, base) <- deps.session_bases.iterator
   436           (_, base) <- deps.session_bases.iterator
   437           (path, _) <- base.sources.iterator
   437           (path, _) <- base.sources.iterator
   438         } yield path).toList
   438         } yield path).toList
   439       val exclude_files = List(Path.explode("$POLYML_EXE")).map(_.canonical_file)
   439       val exclude_files = List(Path.explode("$POLYML_EXE")).map(_.canonical_file)
   440       val unknown_files =
   440       val unknown_files =
   441         Mercurial.unknown_files(source_files).
   441         Mercurial.check_files(source_files)._2.
   442           filterNot(path => exclude_files.contains(path.canonical_file))
   442           filterNot(path => exclude_files.contains(path.canonical_file))
   443       if (unknown_files.nonEmpty) {
   443       if (unknown_files.nonEmpty) {
   444         progress.echo_warning("Unknown files (not part of a Mercurial repository):" +
   444         progress.echo_warning("Unknown files (not part of the underlying Mercurial repository):" +
   445           unknown_files.map(path => path.expand.implode).sorted.mkString("\n  ", "\n  ", ""))
   445           unknown_files.map(path => path.expand.implode).sorted.mkString("\n  ", "\n  ", ""))
   446       }
   446       }
   447     }
   447     }
   448 
   448 
   449 
   449