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 /command.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 'command.py')
| -rw-r--r-- | command.py | 2 |
1 files changed, 1 insertions, 1 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 | ||