diff options
Diffstat (limited to 'loader')
| -rw-r--r-- | loader/loader.cxx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/loader/loader.cxx b/loader/loader.cxx index 994ec9a..591660c 100644 --- a/loader/loader.cxx +++ b/loader/loader.cxx @@ -411,10 +411,12 @@ load_repositories (const shared_ptr<repository>& rp, database& db) if (rm.effective_role () == repository_role::base) { + assert (rp->location.remote () && !rp->url); + + rp->url = rm.effective_url (rp->location); + // Update the base repository with manifest values. // - rp->url = move (rm.url); - // @@ Should we throw if url is not available for external repository ? // Can, basically, repository be available on the web but have no web // interface associated ? |