--- a/src/Pure/Tools/build.scala Thu Mar 08 11:20:45 2018 +0100
+++ b/src/Pure/Tools/build.scala Thu Mar 08 11:46:37 2018 +0100
@@ -438,10 +438,10 @@
} yield path).toList
val exclude_files = List(Path.explode("$POLYML_EXE")).map(_.canonical_file)
val unknown_files =
- Mercurial.unknown_files(source_files).
+ Mercurial.check_files(source_files)._2.
filterNot(path => exclude_files.contains(path.canonical_file))
if (unknown_files.nonEmpty) {
- progress.echo_warning("Unknown files (not part of a Mercurial repository):" +
+ progress.echo_warning("Unknown files (not part of the underlying Mercurial repository):" +
unknown_files.map(path => path.expand.implode).sorted.mkString("\n ", "\n ", ""))
}
}