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", |
