diff options
author | Conley Owens <cco3@android.com> | 2012-08-13 13:11:18 -0700 |
---|---|---|
committer | gerrit code review <noreply-gerritcodereview@google.com> | 2012-09-05 11:46:48 -0700 |
commit | bb1b5f5f863fca0e85764f5b35c117f5724d15c0 (patch) | |
tree | 0b6b8d0d6d027f2d0e0dd6fabdd4eafc6c919026 /manifest_xml.py | |
parent | e2126652a3a1e08724a54091793bb29a79d31014 (diff) | |
download | git-repo-bb1b5f5f863fca0e85764f5b35c117f5724d15c0.tar.gz |
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
Diffstat (limited to 'manifest_xml.py')
-rw-r--r-- | manifest_xml.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 205e4af7..65b76379 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -130,7 +130,7 @@ class XmlManifest(object): | |||
130 | 130 | ||
131 | groups = mp.config.GetString('manifest.groups') | 131 | groups = mp.config.GetString('manifest.groups') |
132 | if not groups: | 132 | if not groups: |
133 | groups = 'default' | 133 | groups = 'all' |
134 | groups = [x for x in re.split(r'[,\s]+', groups) if x] | 134 | groups = [x for x in re.split(r'[,\s]+', groups) if x] |
135 | 135 | ||
136 | doc = xml.dom.minidom.Document() | 136 | doc = xml.dom.minidom.Document() |
@@ -211,7 +211,7 @@ class XmlManifest(object): | |||
211 | ce.setAttribute('dest', c.dest) | 211 | ce.setAttribute('dest', c.dest) |
212 | e.appendChild(ce) | 212 | e.appendChild(ce) |
213 | 213 | ||
214 | default_groups = ['default', 'name:%s' % p.name, 'path:%s' % p.relpath] | 214 | default_groups = ['all', 'name:%s' % p.name, 'path:%s' % p.relpath] |
215 | egroups = [g for g in p.groups if g not in default_groups] | 215 | egroups = [g for g in p.groups if g not in default_groups] |
216 | if egroups: | 216 | if egroups: |
217 | e.setAttribute('groups', ','.join(egroups)) | 217 | e.setAttribute('groups', ','.join(egroups)) |