fix: index regions over the platform's own cores

This commit is contained in:
Abdessamad Derraz committed 2026-10-16 14:17:20 +02:00
1 parent be7a357999
commit f9a263f11c
5 files changed
+72 -4

No files matched your search

+6 -2
View File
@@ -474,7 +474,9 @@ def _select_variants(
required_only=required_only,
)
if regions:
region_index = region_mod.build_region_index(emu_profiles or {})
region_index = region_mod.platform_region_index(
config, emu_profiles or {}, target_cores
)
region_drops = region_mod.resolve_region_drops(
region_groups, region_index, regions
)
@@ -3366,7 +3368,9 @@ def _manifest_selection(
required_only=required_only,
extras_out=extras,
)
region_index = region_mod.build_region_index(emu_profiles)
region_index = region_mod.platform_region_index(
config, emu_profiles, target_cores
)
drops = (
region_mod.resolve_region_drops(region_groups, region_index, regions)
if regions