diff options
Diffstat (limited to 'manifest_xml.py')
-rw-r--r-- | manifest_xml.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index e96e0620..6d8fca1d 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -14,6 +14,7 @@ | |||
14 | 14 | ||
15 | import itertools | 15 | import itertools |
16 | import os | 16 | import os |
17 | import platform | ||
17 | import re | 18 | import re |
18 | import sys | 19 | import sys |
19 | import xml.dom.minidom | 20 | import xml.dom.minidom |
@@ -604,6 +605,17 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
604 | def HasSubmodules(self): | 605 | def HasSubmodules(self): |
605 | return self.manifestProject.config.GetBoolean('repo.submodules') | 606 | return self.manifestProject.config.GetBoolean('repo.submodules') |
606 | 607 | ||
608 | def GetDefaultGroupsStr(self): | ||
609 | """Returns the default group string for the platform.""" | ||
610 | return 'default,platform-' + platform.system().lower() | ||
611 | |||
612 | def GetGroupsStr(self): | ||
613 | """Returns the manifest group string that should be synced.""" | ||
614 | groups = self.manifestProject.config.GetString('manifest.groups') | ||
615 | if not groups: | ||
616 | groups = self.GetDefaultGroupsStr() | ||
617 | return groups | ||
618 | |||
607 | def _Unload(self): | 619 | def _Unload(self): |
608 | self._loaded = False | 620 | self._loaded = False |
609 | self._projects = {} | 621 | self._projects = {} |