diff options
Diffstat (limited to 'repo')
| -rwxr-xr-x | repo | 4 |
1 files changed, 2 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, 14) | 31 | VERSION = (1, 13) |
| 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) |
| @@ -154,7 +154,7 @@ def _Init(args): | |||
| 154 | """Installs repo by cloning it over the network. | 154 | """Installs repo by cloning it over the network. |
| 155 | """ | 155 | """ |
| 156 | opt, args = init_optparse.parse_args(args) | 156 | opt, args = init_optparse.parse_args(args) |
| 157 | if args: | 157 | if args or not opt.manifest_url: |
| 158 | init_optparse.print_usage() | 158 | init_optparse.print_usage() |
| 159 | sys.exit(1) | 159 | sys.exit(1) |
| 160 | 160 | ||
