Add --depth option to main repo wrapper.
See related repo change:
https://review.source.android.com/#change,22722
Change-Id: I9bdd86971c94604477b91cdf47d6fac2c0bc186e
diff --git a/repo b/repo
index ad9e005..32f0df0 100755
--- a/repo
+++ b/repo
@@ -28,7 +28,7 @@
del magic
# increment this whenever we make important changes to this script
-VERSION = (1, 10)
+VERSION = (1, 11)
# increment this if the MAINTAINER_KEYS block is modified
KEYRING_VERSION = (1,0)
@@ -121,6 +121,10 @@
group.add_option('--reference',
dest='reference',
help='location of mirror directory', metavar='DIR')
+group.add_option('--depth', type='int', default=None,
+ dest='depth',
+ help='create a shallow clone with given depth; see git clone')
+
# Tool
group = init_optparse.add_option_group('repo Version options')
@@ -596,4 +600,3 @@
if __name__ == '__main__':
main(sys.argv[1:])
-