android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Treat groups= as default

Browse Source 
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
This commit is contained in:
Colin Cross 2012-04-23 13:41:58 -07:00
parent 5465727e53
commit c39864f5e1
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
command.py
View File

@ -69,7 +69,7 @@ class Command(object):
mp = self.manifest.manifestProject
groups = mp.config.GetString('manifest.groups')
if groups is None:
if not groups:
groups = 'default,platform-' + platform.system().lower()
groups = [x for x in re.split('[,\s]+', groups) if x]

2
manifest_xml.py
View File

@ -122,7 +122,7 @@ class XmlManifest(object):
mp = self.manifestProject
groups = mp.config.GetString('manifest.groups')
if groups is None:
if not groups:
groups = 'default'
groups = [x for x in re.split(r'[,\s]+', groups) if x]