diff options
| -rw-r--r-- | pym/_emerge/__init__.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pym/_emerge/__init__.py b/pym/_emerge/__init__.py index 788b30e25..81f0f3667 100644 --- a/pym/_emerge/__init__.py +++ b/pym/_emerge/__init__.py @@ -14183,6 +14183,12 @@ def repo_name_check(trees): repos = portdb.getRepositories() for r in repos: missing_repo_names.discard(portdb.getRepositoryPath(r)) + if portdb.porttree_root in missing_repo_names and \ + not os.path.exists(os.path.join( + portdb.porttree_root, "profiles")): + # This is normal if $PORTDIR happens to be empty, + # so don't warn about it. + missing_repo_names.remove(portdb.porttree_root) if missing_repo_names: msg = [] |