manifest: clarify an internal attribute's initialization
There's a field whose initialization procedure differs enough from the comment describing it that it's worth clarifying. Signed-off-by: Martí Bolívar <marti.bolivar@nordicsemi.no>
This commit is contained in:
parent
f6f5cf686f
commit
cab2b833c1
|
@ -1356,7 +1356,8 @@ class Manifest:
|
||||||
self._projects: List[Project] = []
|
self._projects: List[Project] = []
|
||||||
# The "raw" (unparsed) manifest.group-filter configuration
|
# The "raw" (unparsed) manifest.group-filter configuration
|
||||||
# option in the local configuration file. See
|
# option in the local configuration file. See
|
||||||
# _config_group_filter().
|
# _config_group_filter(); only initialized if self._top_level
|
||||||
|
# is True and if we're loading from a file in a workspace.
|
||||||
self._raw_config_group_filter: Optional[str] = None
|
self._raw_config_group_filter: Optional[str] = None
|
||||||
# A helper attribute we use for schema version v0.9 compatibility.
|
# A helper attribute we use for schema version v0.9 compatibility.
|
||||||
self._top_level_group_filter: GroupFilterType = []
|
self._top_level_group_filter: GroupFilterType = []
|
||||||
|
|
Loading…
Reference in New Issue