mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-23 07:16:21 +00:00
Merge "Don't try to remove .repo if it doesn't exist"
This commit is contained in:
commit
5a7c3afa73
8
repo
8
repo
@ -114,6 +114,7 @@ import errno
|
|||||||
import optparse
|
import optparse
|
||||||
import os
|
import os
|
||||||
import re
|
import re
|
||||||
|
import shutil
|
||||||
import stat
|
import stat
|
||||||
import subprocess
|
import subprocess
|
||||||
import sys
|
import sys
|
||||||
@ -741,12 +742,7 @@ def main(orig_args):
|
|||||||
try:
|
try:
|
||||||
_Init(args)
|
_Init(args)
|
||||||
except CloneFailure:
|
except CloneFailure:
|
||||||
for root, dirs, files in os.walk(repodir, topdown=False):
|
shutil.rmtree(repodir, ignore_errors=True)
|
||||||
for name in files:
|
|
||||||
os.remove(os.path.join(root, name))
|
|
||||||
for name in dirs:
|
|
||||||
os.rmdir(os.path.join(root, name))
|
|
||||||
os.rmdir(repodir)
|
|
||||||
sys.exit(1)
|
sys.exit(1)
|
||||||
repo_main, rel_repo_dir = _FindRepo()
|
repo_main, rel_repo_dir = _FindRepo()
|
||||||
else:
|
else:
|
||||||
|
Loading…
Reference in New Issue
Block a user