gem5: add --gem5-build-dir for private out of tree builds

This commit is contained in:
Ciro Santilli 六四事件 法轮功
2018-10-09 19:42:32 +01:00
parent b6d00baac0
commit e8cd0caa9e
3 changed files with 21 additions and 12 deletions

View File

@@ -27,7 +27,7 @@ else:
start_time = time.time()
os.makedirs(binaries_dir, exist_ok=True)
os.makedirs(disks_dir, exist_ok=True)
if args.gem5_source is None:
if args.gem5_source_dir is None:
if not os.path.exists(os.path.join(common.gem5_src_dir, '.git')):
if common.gem5_src_dir == common.gem5_default_src_dir:
raise Exception('gem5 submodule not checked out')