diff --git a/script/lib/util.py b/script/lib/util.py index 5e8933d0302f..a79a40f7ebc6 100644 --- a/script/lib/util.py +++ b/script/lib/util.py @@ -133,11 +133,11 @@ 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: raise - except WindowsError: # pylint: disable=E0602 - pass def safe_unlink(path):