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 = {} |
