Merge pull request #4300 from Flamefire/fix-mkdir

Don't fail `mkdir` if path gets created while processing it
easybuilders · Jul 24, 2023 · 4329c3a · 4329c3a
2 parents fca8b93 + 7e0d42d
commit 4329c3a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/easybuild/tools/filetools.py b/easybuild/tools/filetools.py
@@ -1921,6 +1921,12 @@ def mkdir(path, parents=False, set_gid=None, sticky=None):
                 os.makedirs(path)
             else:
                 os.mkdir(path)
+        except FileExistsError as err:
+            if os.path.exists(path):
+                # This may happen if a parallel build creates the directory after we checked for its existence
+                _log.debug("Directory creation aborted as it seems it was already created: %s", err)
+            else:
+                raise EasyBuildError("Failed to create directory %s: %s", path, err)
         except OSError as err:
             raise EasyBuildError("Failed to create directory %s: %s", path, err)