common: common_gem5_default_src_dir factor out

This commit is contained in:
Ciro Santilli
2018-08-16 17:42:46 +01:00
parent 085253a457
commit 433e60f876

2
common
View File

@@ -122,7 +122,7 @@ common_setup() {
if [ -n "$common_gem5_worktree" ]; then
common_gem5_src_dir="${common_gem5_non_default_src_root_dir}/${common_gem5_worktree}"
else
common_gem5_src_dir="${common_root_dir}/gem5/gem5"
common_gem5_src_dir="$common_gem5_default_src_dir"
fi
if "$common_gem5"; then
common_exec="$common_gem5_exec"