diff options
author | Doug Anderson <dianders@chromium.org> | 2011-06-13 21:42:06 -0700 |
---|---|---|
committer | Doug Anderson <dianders@chromium.org> | 2011-06-14 16:59:19 -0700 |
commit | 49cd59bc867d5fc29abcdbc4aac9bb7b826b6705 (patch) | |
tree | 98d2aa17a934633e7d5398fe9c24fa2f4e2ba61e | |
parent | 30d452905f166b316152f236422f85c8aa75a2d0 (diff) | |
download | git-repo-49cd59bc867d5fc29abcdbc4aac9bb7b826b6705.tar.gz |
Add --depth option to main repo wrapper.
See related repo change:
https://review.source.android.com/#change,22722
Change-Id: I9bdd86971c94604477b91cdf47d6fac2c0bc186e
-rwxr-xr-x | repo | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -28,7 +28,7 @@ if __name__ == '__main__': | |||
28 | del magic | 28 | del 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 |
31 | VERSION = (1, 10) | 31 | VERSION = (1, 11) |
32 | 32 | ||
33 | # increment this if the MAINTAINER_KEYS block is modified | 33 | # increment this if the MAINTAINER_KEYS block is modified |
34 | KEYRING_VERSION = (1,0) | 34 | KEYRING_VERSION = (1,0) |
@@ -121,6 +121,10 @@ group.add_option('--mirror', | |||
121 | group.add_option('--reference', | 121 | group.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') |
124 | group.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 |
126 | group = init_optparse.add_option_group('repo Version options') | 130 | group = init_optparse.add_option_group('repo Version options') |
@@ -596,4 +600,3 @@ def main(orig_args): | |||
596 | 600 | ||
597 | if __name__ == '__main__': | 601 | if __name__ == '__main__': |
598 | main(sys.argv[1:]) | 602 | main(sys.argv[1:]) |
599 | |||