diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -164,7 +164,8 @@ group.add_option('--depth', type='int', default=None, | |||
164 | help='create a shallow clone with given depth; see git clone') | 164 | help='create a shallow clone with given depth; see git clone') |
165 | group.add_option('-g', '--groups', | 165 | group.add_option('-g', '--groups', |
166 | dest='groups', default='default', | 166 | dest='groups', default='default', |
167 | help='restrict manifest projects to ones with a specified group', | 167 | help='restrict manifest projects to ones with specified ' |
168 | 'group(s) [default|all|G1,G2,G3|G4,-G5,-G6]', | ||
168 | metavar='GROUP') | 169 | metavar='GROUP') |
169 | group.add_option('-p', '--platform', | 170 | group.add_option('-p', '--platform', |
170 | dest='platform', default="auto", | 171 | dest='platform', default="auto", |