From 518ec36511254bf78b0e64bf7a7044a1fff31069 Mon Sep 17 00:00:00 2001
From: Cheng Zhao <zcbenz@gmail.com>
Date: Fri, 3 Jul 2015 14:54:32 +0800
Subject: [PATCH] WindowsError is undefined on POSIX

---
 script/lib/util.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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