src/Pure/Tools/build.scala
changeset 67782 7e223a05e6d8
parent 67493 c4e9e0c50487
child 67835 c8e4ee2b5482
     1.1 --- a/src/Pure/Tools/build.scala	Thu Mar 08 11:20:45 2018 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Mar 08 11:46:37 2018 +0100
     1.3 @@ -438,10 +438,10 @@
     1.4          } yield path).toList
     1.5        val exclude_files = List(Path.explode("$POLYML_EXE")).map(_.canonical_file)
     1.6        val unknown_files =
     1.7 -        Mercurial.unknown_files(source_files).
     1.8 +        Mercurial.check_files(source_files)._2.
     1.9            filterNot(path => exclude_files.contains(path.canonical_file))
    1.10        if (unknown_files.nonEmpty) {
    1.11 -        progress.echo_warning("Unknown files (not part of a Mercurial repository):" +
    1.12 +        progress.echo_warning("Unknown files (not part of the underlying Mercurial repository):" +
    1.13            unknown_files.map(path => path.expand.implode).sorted.mkString("\n  ", "\n  ", ""))
    1.14        }
    1.15      }