diff options
| author | Colin Cross <ccross@android.com> | 2012-04-23 13:41:58 -0700 |
|---|---|---|
| committer | Colin Cross <ccross@android.com> | 2012-04-23 13:43:41 -0700 |
| commit | c39864f5e12fa4a6d3f2cdb4921afc021406d106 (patch) | |
| tree | b8e5749072fb6e08c2f2f6f019aeb7532a1cccb3 /manifest_xml.py | |
| parent | 5465727e538bcd77200f8b3c75f002367597fc51 (diff) | |
| download | git-repo-c39864f5e12fa4a6d3f2cdb4921afc021406d106.tar.gz | |
Treat groups= as default
Previous incarnations of groups support left "groups=" in the
repo .config, which is now treated as "delete all the projects".
Treat empty groups configuration the same as no groups
configuration.
Change-Id: I57dab8dac55bdbf4cc181e2748cd2e4e510764f5
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 5ffc49e9..d20eac2a 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -122,7 +122,7 @@ class XmlManifest(object): | |||
| 122 | mp = self.manifestProject | 122 | mp = self.manifestProject |
| 123 | 123 | ||
| 124 | groups = mp.config.GetString('manifest.groups') | 124 | groups = mp.config.GetString('manifest.groups') |
| 125 | if groups is None: | 125 | if not groups: |
| 126 | groups = 'default' | 126 | groups = 'default' |
| 127 | groups = [x for x in re.split(r'[,\s]+', groups) if x] | 127 | groups = [x for x in re.split(r'[,\s]+', groups) if x] |
| 128 | 128 | ||