| Index: ensure_dependencies.py |
| diff --git a/ensure_dependencies.py b/ensure_dependencies.py |
| index d8af9e718b27d802acd7cde70301341220c6f7eb..ddea6e1ad765edb0ea1acab953a03b8e3e83fd33 100755 |
| --- a/ensure_dependencies.py |
| +++ b/ensure_dependencies.py |
| @@ -190,7 +190,12 @@ def ensure_repo(parentrepo, target, roots, sourcename): |
| if os.path.exists(roots[type]): |
| url = os.path.join(roots[type], sourcename) |
| else: |
| - url = urlparse.urljoin(roots[type], sourcename) |
| + if (type == "git" and "@" in sourcename and |
| + not urlparse.urlsplit(sourcename).scheme): |
| + # Handle alternative syntax of Git SSH URLS |
| + url = "ssh://" + sourcename.replace(":", "/", 1) |
| + else: |
|
Wladimir Palant
2015/04/29 18:03:05
This seems to be the wrong place to do it. What we
|
| + url = urlparse.urljoin(roots[type], sourcename) |
| logging.info("Cloning repository %s into %s" % (url, target)) |
| repo_types[type].clone(url, target) |