diff options
| author | Conley Owens <cco3@android.com> | 2012-04-16 10:36:08 -0700 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2012-04-23 12:39:05 -0700 |
| commit | 971de8ea7b7e474a4d9253b6c9f47da3f1130973 (patch) | |
| tree | d8ac52741957b38d57d15f208e57b984d71ddc19 /docs | |
| parent | 24c130884018364f91baa8de0ff3541f4c32d1bb (diff) | |
| download | git-repo-971de8ea7b7e474a4d9253b6c9f47da3f1130973.tar.gz | |
Refine groups functionality
Every project is in group "default". "-default" does not remove
it from this project. All group names specified in the manifest
are positive names as opposed to a mix of negative and positive.
Specified groups are resolved in order. If init is supplied with
--groups="group1,-group2", the following describes the project
selection when syncing:
* all projects in "group1" will be added, and
* all projects in "group2" will be removed.
Change-Id: I1df3dcdb64bbd4cd80d675f9b2d3becbf721f661
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/manifest-format.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index e5f5ee18..764e41eb 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
| @@ -165,8 +165,8 @@ been extensively tested. If not supplied the revision given by | |||
| 165 | the default element is used. | 165 | the default element is used. |
| 166 | 166 | ||
| 167 | Attribute `groups`: List of groups to which this project belongs, | 167 | Attribute `groups`: List of groups to which this project belongs, |
| 168 | whitespace or comma separated. All projects are part of the group | 168 | whitespace or comma separated. All projects belong to the group |
| 169 | "default" unless "-default" is specified in the list of groups. | 169 | "default". |
| 170 | 170 | ||
| 171 | Element annotation | 171 | Element annotation |
| 172 | ------------------ | 172 | ------------------ |