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: |