diff options
Diffstat (limited to 'subcmds/init.py')
-rw-r--r-- | subcmds/init.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/subcmds/init.py b/subcmds/init.py index e2f34cc8..b0db76a4 100644 --- a/subcmds/init.py +++ b/subcmds/init.py | |||
@@ -520,8 +520,12 @@ to update the working directory files. | |||
520 | # Handle new --repo-rev requests. | 520 | # Handle new --repo-rev requests. |
521 | if opt.repo_rev: | 521 | if opt.repo_rev: |
522 | wrapper = Wrapper() | 522 | wrapper = Wrapper() |
523 | remote_ref, rev = wrapper.check_repo_rev( | 523 | try: |
524 | rp.gitdir, opt.repo_rev, repo_verify=opt.repo_verify, quiet=opt.quiet) | 524 | remote_ref, rev = wrapper.check_repo_rev( |
525 | rp.gitdir, opt.repo_rev, repo_verify=opt.repo_verify, quiet=opt.quiet) | ||
526 | except wrapper.CloneFailure: | ||
527 | print('fatal: double check your --repo-rev setting.', file=sys.stderr) | ||
528 | sys.exit(1) | ||
525 | branch = rp.GetBranch('default') | 529 | branch = rp.GetBranch('default') |
526 | branch.merge = remote_ref | 530 | branch.merge = remote_ref |
527 | rp.work_git.reset('--hard', rev) | 531 | rp.work_git.reset('--hard', rev) |