Follow-up to the derive-from-PlatformIO change, closing two review findings:
- base_ini_platform_incl() now uses the same extra_configs-derived globs as
env_definition_dirs (via a shared board_ini_globs() helper) instead of the
hardcoded fallback. Previously the two .ini scans could diverge: a new
extra_configs glob would be picked up by the env-definition scan but not the
arch-base scan, so a family base in a new location could be scoped to a single
top-dir -> under-build. No behavior change on the current tree.
- base_ini_platform_incl() maps each base .ini to the SET of platform trees it
re-includes (was: only bases with exactly one +<platform/X>). A base that
re-includes multiple trees now fans out to all of them in Tier 2b, a safe
superset, rather than being silently dropped (which scoped it to one top-dir
-> under-build). Fails open, not closed.
Verified: 31/31 unit tests (3 new: multi-include mapping, Tier 2b superset,
board_ini_globs). Real-PlatformIO matrix output identical to the PR-head
baseline across full/PR/check sets and every changed-file scenario; the
extra_variants scenario is the expected 47-env superset. No under-build.
59b00148c3
