diff options
Diffstat (limited to 'python/servo/bootstrap_commands.py')
| -rw-r--r-- | python/servo/bootstrap_commands.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/python/servo/bootstrap_commands.py b/python/servo/bootstrap_commands.py index b12ba0242d7..6f667a8cbf0 100644 --- a/python/servo/bootstrap_commands.py +++ b/python/servo/bootstrap_commands.py @@ -331,7 +331,10 @@ class MachCommands(CommandBase): full_path = path.join(base, name) if force: print("Removing {}".format(full_path)) - delete(full_path) + try: + delete(full_path) + except OSError as e: + print("Removal failed with error {}".format(e)) else: print("Would remove {}".format(full_path)) if not removing_anything: |