diff options
author | Colin Cross <ccross@android.com> | 2012-05-24 15:39:14 -0700 |
---|---|---|
committer | Colin Cross <ccross@android.com> | 2012-05-24 15:40:05 -0700 |
commit | eca119e5d6f0aa61cad6be1421aa523482e9cde7 (patch) | |
tree | 8a89308ba0e76e8922676351333d77afacdcaf49 | |
parent | 6ba6ba0ef3ae4de384d931a50ec25e675e3aab16 (diff) | |
download | git-repo-eca119e5d6f0aa61cad6be1421aa523482e9cde7.tar.gz |
Allow projects with groups=Nonev1.9.1
Mirror manifest and repo projects are outside the manifest and
have no groups. Allow project groups to be None for these
projects.
Change-Id: I3e1c4add894fe1c43aa4e77a1fc1558aa10dd191
-rw-r--r-- | project.py | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -666,6 +666,8 @@ class Project(object): | |||
666 | manifest_groups: "-group1,group2" | 666 | manifest_groups: "-group1,group2" |
667 | the project will be matched. | 667 | the project will be matched. |
668 | """ | 668 | """ |
669 | if self.groups is None: | ||
670 | return True | ||
669 | matched = False | 671 | matched = False |
670 | for group in manifest_groups: | 672 | for group in manifest_groups: |
671 | if group.startswith('-') and group[1:] in self.groups: | 673 | if group.startswith('-') and group[1:] in self.groups: |