equal
deleted
inserted
replaced
432 val source_files = |
432 val source_files = |
433 (for { |
433 (for { |
434 (_, base) <- deps.session_bases.iterator |
434 (_, base) <- deps.session_bases.iterator |
435 (path, _) <- base.sources.iterator |
435 (path, _) <- base.sources.iterator |
436 } yield path).toList |
436 } yield path).toList |
437 val unknown_files = Mercurial.unknown_files(source_files) |
437 val exclude_files = List(Path.explode("$POLYML_EXE")).map(_.canonical_file) |
|
438 val unknown_files = |
|
439 Mercurial.unknown_files(source_files). |
|
440 filterNot(path => exclude_files.contains(path.canonical_file)) |
438 if (unknown_files.nonEmpty) { |
441 if (unknown_files.nonEmpty) { |
439 progress.echo_warning("Unknown files (not part of a Mercurial repository):" + |
442 progress.echo_warning("Unknown files (not part of a Mercurial repository):" + |
440 unknown_files.map(path => path.expand.implode).sorted.mkString("\n ", "\n ", "")) |
443 unknown_files.map(path => path.expand.implode).sorted.mkString("\n ", "\n ", "")) |
441 } |
444 } |
442 } |
445 } |