# HG changeset patch
# User wenzelm
# Date 1511795269 -3600
# Node ID 0f750a6dc7548fcff4943eb2c6b783224e1eb686
# Parent  d1b8464654c5ba814a5ef6380bc0426df494b30f
suppress warning;

diff -r d1b8464654c5 -r 0f750a6dc754 src/Pure/Tools/build.scala
--- 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  ", ""))