diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-10-31 17:09:43 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-14 13:35:01 +0100 |
| commit | 180abedbc498bd8b5efc19ad068bc0a5704559b2 (patch) | |
| tree | b88785dff5f34a08cdde353dbf0568a0ac7a5d6e /bin/just-import-git.py | |
| parent | bc84005095bab7c62faf0ddf08763bd96892e478 (diff) | |
| download | justbuild-180abedbc498bd8b5efc19ad068bc0a5704559b2.tar.gz | |
test: Add check for 'mirrors' field in just-mr repositories
Diffstat (limited to 'bin/just-import-git.py')
| -rwxr-xr-x | bin/just-import-git.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/just-import-git.py b/bin/just-import-git.py index f77efb8e..3be9b0ef 100755 --- a/bin/just-import-git.py +++ b/bin/just-import-git.py @@ -287,8 +287,7 @@ def handle_import(args: Namespace) -> Json: import_map: Json = {} for theirs, ours in args.import_map: import_map[theirs] = ours - main_repos = repos_to_import(foreign_repos, foreign_name, - import_map.keys()) + main_repos = repos_to_import(foreign_repos, foreign_name, import_map.keys()) extra_repos = sorted([x for x in main_repos if x != foreign_name]) extra_imports = sorted(extra_layers_to_import(foreign_repos, main_repos)) ordered_imports: List[str] = [foreign_name] + extra_repos + extra_imports |