suppress warning;
authorwenzelm
Mon Nov 27 16:07:49 2017 +0100 (5 months ago)
changeset 670980f750a6dc754
parent 67097 d1b8464654c5
child 67099 3345d53e7c58
suppress warning;
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/Tools/build.scala	Mon Nov 27 15:59:24 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Nov 27 16:07:49 2017 +0100
     1.3 @@ -434,7 +434,10 @@
     1.4            (_, base) <- deps.session_bases.iterator
     1.5            (path, _) <- base.sources.iterator
     1.6          } yield path).toList
     1.7 -      val unknown_files = Mercurial.unknown_files(source_files)
     1.8 +      val exclude_files = List(Path.explode("$POLYML_EXE")).map(_.canonical_file)
     1.9 +      val unknown_files =
    1.10 +        Mercurial.unknown_files(source_files).
    1.11 +          filterNot(path => exclude_files.contains(path.canonical_file))
    1.12        if (unknown_files.nonEmpty) {
    1.13          progress.echo_warning("Unknown files (not part of a Mercurial repository):" +
    1.14            unknown_files.map(path => path.expand.implode).sorted.mkString("\n  ", "\n  ", ""))