diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -316,9 +316,6 @@ def InitParser(parser, gitc_init=False): | |||
316 | help='download the manifest as a static file ' | 316 | help='download the manifest as a static file ' |
317 | 'rather then create a git checkout of ' | 317 | 'rather then create a git checkout of ' |
318 | 'the manifest repo') | 318 | 'the manifest repo') |
319 | group.add_option('--manifest-depth', type='int', default=1, metavar='DEPTH', | ||
320 | help='create a shallow clone of the manifest repo with ' | ||
321 | 'given depth; see git clone (default: %default)') | ||
322 | 319 | ||
323 | # Options that only affect manifest project, and not any of the projects | 320 | # Options that only affect manifest project, and not any of the projects |
324 | # specified in the manifest itself. | 321 | # specified in the manifest itself. |