1 files changed, 6 insertions, 0 deletions

diff --git a/platform_utils.py b/platform_utils.py
index e20198ee..45ffec78 100644
--- a/platform_utils.py
+++ b/platform_utils.py
@@ -156,6 +156,12 @@ def remove(path, missing_ok=False):
                 os.rmdir(longpath)
             else:
                 os.remove(longpath)
+        elif (
+            e.errno == errno.EROFS
+            and missing_ok
+            and not os.path.exists(longpath)
+        ):
+            pass
         elif missing_ok and e.errno == errno.ENOENT:
             pass
         else: