Create tmpdir before bootstrap

This commit is contained in:
Dor Askayo 2022-09-07 23:37:00 +03:00
parent 7f3e07d166
commit 66b1ba21a6
1 changed files with 3 additions and 0 deletions

View File

@ -129,6 +129,9 @@ def main():
tmpdir=args.tmpdir, external_sources=args.external_sources,
sysb_dir=system_b.sys_dir, sysc_dir=system_c.sys_dir)
if args.tmpdir is not None:
os.makedirs(args.tmpdir, exist_ok=True)
bootstrap(args, system_a, system_b, system_c)
def bootstrap(args, system_a, system_b, system_c):