commit c39864f5e12fa4a6d3f2cdb4921afc021406d106
author Colin Cross <ccross@android.com> Mon Apr 23 13:41:58 2012 -0700
committer Colin Cross <ccross@android.com> Mon Apr 23 13:43:41 2012 -0700
tree b8e5749072fb6e08c2f2f6f019aeb7532a1cccb3
parent 5465727e538bcd77200f8b3c75f002367597fc51

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

command.py

diff --git a/command.py b/command.py
index 936ab40..4dbe2e7 100644
--- a/command.py
+++ b/command.py
@@ -69,7 +69,7 @@
     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]
 

manifest_xml.py

diff --git a/manifest_xml.py b/manifest_xml.py
index 5ffc49e..d20eac2 100644
--- a/manifest_xml.py
+++ b/manifest_xml.py
@@ -122,7 +122,7 @@
     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]