summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xrepo7
1 files changed, 5 insertions, 2 deletions
diff --git a/repo b/repo
index ad9e005f..32f0df0b 100755
--- a/repo
+++ b/repo
@@ -28,7 +28,7 @@ if __name__ == '__main__':
28del magic 28del magic
29 29
30# increment this whenever we make important changes to this script 30# increment this whenever we make important changes to this script
31VERSION = (1, 10) 31VERSION = (1, 11)
32 32
33# increment this if the MAINTAINER_KEYS block is modified 33# increment this if the MAINTAINER_KEYS block is modified
34KEYRING_VERSION = (1,0) 34KEYRING_VERSION = (1,0)
@@ -121,6 +121,10 @@ group.add_option('--mirror',
121group.add_option('--reference', 121group.add_option('--reference',
122 dest='reference', 122 dest='reference',
123 help='location of mirror directory', metavar='DIR') 123 help='location of mirror directory', metavar='DIR')
124group.add_option('--depth', type='int', default=None,
125 dest='depth',
126 help='create a shallow clone with given depth; see git clone')
127
124 128
125# Tool 129# Tool
126group = init_optparse.add_option_group('repo Version options') 130group = init_optparse.add_option_group('repo Version options')
@@ -596,4 +600,3 @@ def main(orig_args):
596 600
597if __name__ == '__main__': 601if __name__ == '__main__':
598 main(sys.argv[1:]) 602 main(sys.argv[1:])
599