diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-09-11 03:48:52 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-11 09:37:35 +0300 |
commit | 98ca6bb9f0fc3e88f4423e6825263bf52f16a760 (patch) | |
tree | d0f46e095b6599a34b4427a0b7f90e6f98edd47d /misc/fontbuild | |
parent | 561b61c320734aa440dbaa0a52ea49e9871dfe1b (diff) | |
download | inter-98ca6bb9f0fc3e88f4423e6825263bf52f16a760.tar.xz |
fontbuild: fix issue where building in parallel could cause some builds to fail because of a file system race condition
Diffstat (limited to 'misc/fontbuild')
-rwxr-xr-x | misc/fontbuild | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/misc/fontbuild b/misc/fontbuild index 81712c8af..fd071b1c3 100755 --- a/misc/fontbuild +++ b/misc/fontbuild @@ -8,6 +8,7 @@ from common import BASEDIR, VENVDIR, getGitHash, getVersion import argparse import datetime +import errno import glyphsLib import logging import re @@ -38,8 +39,11 @@ def sighandler(signum, frame): def mkdirs(path): - if not os.access(path, os.F_OK): + try: os.makedirs(path) + except OSError as e: + if e.errno != errno.EEXIST: + raise # raises the error again def fatal(msg): |