1 files changed, 3 insertions, 0 deletions

diff --git a/repo b/repo
index 1940a319..e97cdd7d 100755
--- a/repo
+++ b/repo
@@ -316,6 +316,9 @@ def InitParser(parser, gitc_init=False):
                    help='download the manifest as a static file '
                         'rather then create a git checkout of '
                         'the manifest repo')
+  group.add_option('--manifest-depth', type='int', default=1, metavar='DEPTH',
+                   help='create a shallow clone of the manifest repo with '
+                        'given depth; see git clone (default: %default)')
 
   # Options that only affect manifest project, and not any of the projects
   # specified in the manifest itself.