Browse Source

WindowsError is undefined on POSIX

Cheng Zhao 9 years ago
parent
commit
518ec36511
1 changed files with 1 additions and 3 deletions
  1. 1 3
      script/lib/util.py

+ 1 - 3
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