diff --git a/script/lib/util.py b/script/lib/util.py index a79a40f7ebc6..109e7254017d 100644 --- a/script/lib/util.py +++ b/script/lib/util.py @@ -133,10 +133,8 @@ def make_zip(zip_file_path, files, dirs): def rm_rf(path): try: shutil.rmtree(path) - except WindowsError: # pylint: disable=E0602 - pass except OSError as e: - if e.errno != errno.ENOENT: + if e.errno != errno.ENOENT and e.errno != errno.EIO: raise