diff options
| -rwxr-xr-x | repo | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -738,7 +738,7 @@ def main(orig_args): | |||
| 738 | try: | 738 | try: |
| 739 | _Init(args) | 739 | _Init(args) |
| 740 | except CloneFailure: | 740 | except CloneFailure: |
| 741 | shutil.rmtree(repodir, ignore_errors=True) | 741 | shutil.rmtree(os.path.join(repodir, S_repo), ignore_errors=True) |
| 742 | sys.exit(1) | 742 | sys.exit(1) |
| 743 | repo_main, rel_repo_dir = _FindRepo() | 743 | repo_main, rel_repo_dir = _FindRepo() |
| 744 | else: | 744 | else: |
