Skip to content
Snippets Groups Projects
Commit da829579 authored by icolbert's avatar icolbert
Browse files

Fixing reproducibility issue with FINN_BUILD_DIR

parent bb4fbaf9
No related branches found
No related tags found
No related merge requests found
...@@ -121,7 +121,7 @@ def make_build_dir(prefix=""): ...@@ -121,7 +121,7 @@ def make_build_dir(prefix=""):
try: try:
tmpdir = tempfile.mkdtemp(prefix=prefix) tmpdir = tempfile.mkdtemp(prefix=prefix)
newdir = tmpdir.replace("/tmp", os.environ["FINN_BUILD_DIR"]) newdir = tmpdir.replace("/tmp", os.environ["FINN_BUILD_DIR"])
os.makedirs(newdir) os.makedirs(newdir, exist_ok=True)
return newdir return newdir
except KeyError: except KeyError:
raise Exception( raise Exception(
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment