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 | |
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
-rw-r--r-- | command.py | 2 | ||||
-rw-r--r-- | manifest_xml.py | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -69,7 +69,7 @@ class Command(object): | |||
69 | mp = self.manifest.manifestProject | 69 | mp = self.manifest.manifestProject |
70 | 70 | ||
71 | groups = mp.config.GetString('manifest.groups') | 71 | groups = mp.config.GetString('manifest.groups') |
72 | if groups is None: | 72 | if not groups: |
73 | groups = 'default,platform-' + platform.system().lower() | 73 | groups = 'default,platform-' + platform.system().lower() |
74 | groups = [x for x in re.split('[,\s]+', groups) if x] | 74 | groups = [x for x in re.split('[,\s]+', groups) if x] |
75 | 75 | ||
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 | ||