diff options
Diffstat (limited to 'platform_methods.py')
| -rw-r--r-- | platform_methods.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform_methods.py b/platform_methods.py index ec394d76d8..be4957475d 100644 --- a/platform_methods.py +++ b/platform_methods.py @@ -55,7 +55,7 @@ def run_in_subprocess(builder_function): finally: try: os.remove(json_path) - except (OSError, IOError) as e: + except OSError as e: # Do not fail the entire build if it cannot delete a temporary file print( "WARNING: Could not delete temporary file: path=%r; [%s] %s" % (json_path, e.__class__.__name__, e) |