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