Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions easybuild/tools/filetools.py
Original file line number Diff line number Diff line change
Expand Up @@ -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 existance
_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)

Expand Down