diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2022-12-06 11:06:27 +0100 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2022-12-09 13:50:04 +0100 |
| commit | 6a6e0bea83bacee9f04d045b173ff94f9ec8017a (patch) | |
| tree | 07853ea501db626350d6f43a6d880c1709b6b2ac /bin/just-import-git.py | |
| parent | b0351b6a0eb3abff49af0ef6d9478f963f9e4ab0 (diff) | |
| download | justbuild-6a6e0bea83bacee9f04d045b173ff94f9ec8017a.tar.gz | |
just-import-git.py: Support distdir repositories
Diffstat (limited to 'bin/just-import-git.py')
| -rwxr-xr-x | bin/just-import-git.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/just-import-git.py b/bin/just-import-git.py index 000d2f33..9b9f1023 100755 --- a/bin/just-import-git.py +++ b/bin/just-import-git.py @@ -204,6 +204,9 @@ def rewrite_repo(repo_spec, *, remote, assign): if subdir not in ["", "."]: changes["subdir"] = subdir repo = dict(remote, **changes) + elif repo.get("type") == "distdir": + new_repos = [assign[k] for k in repo.get("repositories", [])] + repo = dict(repo, **{"repositories": new_repos}) new_spec["repository"] = repo for key in ["target_root", "rule_root", "expression_root"]: if key in repo_spec: |