diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -114,6 +114,7 @@ import errno | |||
114 | import optparse | 114 | import optparse |
115 | import os | 115 | import os |
116 | import re | 116 | import re |
117 | import shutil | ||
117 | import stat | 118 | import stat |
118 | import subprocess | 119 | import subprocess |
119 | import sys | 120 | import sys |
@@ -741,12 +742,7 @@ def main(orig_args): | |||
741 | try: | 742 | try: |
742 | _Init(args) | 743 | _Init(args) |
743 | except CloneFailure: | 744 | except CloneFailure: |
744 | for root, dirs, files in os.walk(repodir, topdown=False): | 745 | shutil.rmtree(repodir, ignore_errors=True) |
745 | for name in files: | ||
746 | os.remove(os.path.join(root, name)) | ||
747 | for name in dirs: | ||
748 | os.rmdir(os.path.join(root, name)) | ||
749 | os.rmdir(repodir) | ||
750 | sys.exit(1) | 746 | sys.exit(1) |
751 | repo_main, rel_repo_dir = _FindRepo() | 747 | repo_main, rel_repo_dir = _FindRepo() |
752 | else: | 748 | else: |