Merge pull request #193 from doraskayo/create-tmpdir
Create tmpdir before bootstrap
This commit is contained in:
commit
6e4ad4c91d
|
@ -129,6 +129,9 @@ def main():
|
||||||
tmpdir=args.tmpdir, external_sources=args.external_sources,
|
tmpdir=args.tmpdir, external_sources=args.external_sources,
|
||||||
sysb_dir=system_b.sys_dir, sysc_dir=system_c.sys_dir)
|
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)
|
bootstrap(args, system_a, system_b, system_c)
|
||||||
|
|
||||||
def bootstrap(args, system_a, system_b, system_c):
|
def bootstrap(args, system_a, system_b, system_c):
|
||||||
|
|
Loading…
Reference in New Issue