--- a/src/Pure/Tools/build.scala Mon Nov 27 15:59:24 2017 +0100
+++ b/src/Pure/Tools/build.scala Mon Nov 27 16:07:49 2017 +0100
@@ -434,7 +434,10 @@
(_, base) <- deps.session_bases.iterator
(path, _) <- base.sources.iterator
} yield path).toList
- val unknown_files = Mercurial.unknown_files(source_files)
+ val exclude_files = List(Path.explode("$POLYML_EXE")).map(_.canonical_file)
+ val unknown_files =
+ Mercurial.unknown_files(source_files).
+ filterNot(path => exclude_files.contains(path.canonical_file))
if (unknown_files.nonEmpty) {
progress.echo_warning("Unknown files (not part of a Mercurial repository):" +
unknown_files.map(path => path.expand.implode).sorted.mkString("\n ", "\n ", ""))