diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-09-11 03:48:52 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-09-11 03:48:52 +0300 |
commit | 188365878398e523ec01efa6cb69c98819b6ceba (patch) | |
tree | 968d336c17fd469d751d754ebaf9d580bee12fc7 | |
parent | b9274eef3bd7b0bbec2fe4e4234ffccd8ca0b185 (diff) | |
download | inter-188365878398e523ec01efa6cb69c98819b6ceba.tar.xz |
fontbuild: fix issue where building in parallel could cause some builds to fail because of a file system race conditionv3.0-beta
-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): |