Allow projects to be specified as notdefault
Instead of every group being in the group "default", every project
is now in the group "all". A group that should not be downloaded
by default may be added to the group "notdefault".
This allows all group names to be positive (instead of removing groups
directly in the manifest with -default) and offers a clear way of
selecting every project (--groups all).
Change-Id: I99cd70309adb1f8460db3bbc6eff46bdcd22256f
diff --git a/manifest_xml.py b/manifest_xml.py
index 205e4af..65b7637 100644
--- a/manifest_xml.py
+++ b/manifest_xml.py
@@ -130,7 +130,7 @@
groups = mp.config.GetString('manifest.groups')
if not groups:
- groups = 'default'
+ groups = 'all'
groups = [x for x in re.split(r'[,\s]+', groups) if x]
doc = xml.dom.minidom.Document()
@@ -211,7 +211,7 @@
ce.setAttribute('dest', c.dest)
e.appendChild(ce)
- default_groups = ['default', 'name:%s' % p.name, 'path:%s' % p.relpath]
+ default_groups = ['all', 'name:%s' % p.name, 'path:%s' % p.relpath]
egroups = [g for g in p.groups if g not in default_groups]
if egroups:
e.setAttribute('groups', ','.join(egroups))