diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 5 |
1 files changed, 4 insertions, 1 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, 8) | 31 | VERSION = (1, 9) |
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) |
@@ -118,6 +118,9 @@ group.add_option('-m', '--manifest-name', | |||
118 | group.add_option('--mirror', | 118 | group.add_option('--mirror', |
119 | dest='mirror', action='store_true', | 119 | dest='mirror', action='store_true', |
120 | help='mirror the forrest') | 120 | help='mirror the forrest') |
121 | group.add_option('--reference', | ||
122 | dest='reference', | ||
123 | help='location of mirror directory', metavar='DIR') | ||
121 | 124 | ||
122 | # Tool | 125 | # Tool |
123 | group = init_optparse.add_option_group('repo Version options') | 126 | group = init_optparse.add_option_group('repo Version options') |