Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-20 07:08:59 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove dir by shutil.rmtree, remove file by os.remove

Browse source
This commit is contained in:
askeing 2016-04-29 23:18:28 +09:00
parent 26be403e3c
commit c4b0e20bc5
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
python/servo/bootstrap_commands.py
View file

@ -316,7 +316,10 @@ class MachCommands(CommandBase):
name = path.join(base, name)
if force:
print("Removing " + name)
if os.path.isdir(name):
shutil.rmtree(name)
else:
os.remove(name)
else:
print("Would remove " + name)
if not removing_anything: