fix: fix a bug where toolchain repositories were potentially duplicated (#662)

This commit is contained in:
Derek Cormier 2023-11-16 06:57:29 -08:00 committed by GitHub
parent 5bd6e5fdd4
commit 95e7ad5e0b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions

View File

@ -93,11 +93,11 @@ def _toolchain_repos_bfs(mctx, get_tag_fn, toolchain_name, toolchain_repos_fn, d
else: else:
registrations[name] = version registrations[name] = version
for name, version in registrations.items(): for name, version in registrations.items():
toolchain_repos_fn( toolchain_repos_fn(
name = name, name = name,
version = version, version = version,
) )
extension_utils = struct( extension_utils = struct(
toolchain_repos_bfs = _toolchain_repos_bfs, toolchain_repos_bfs = _toolchain_repos_bfs,