gem5: prefix woktree branch with wt/

This commit is contained in:
Ciro Santilli
2018-06-11 18:46:20 +01:00
parent 8b5c211c22
commit 37f64de29f
2 changed files with 4 additions and 2 deletions

2
build
View File

@@ -196,7 +196,7 @@ ln -s "$common_linux_variant_dir" "$common_linux_custom_dir"
# Manage gem5 variants.
if "$gem5"; then
if [ ! -e "${common_gem5_src_dir}/.git" ]; then
git -C "$common_gem5_default_src_dir" worktree add -b "${common_gem5_variant}" "${common_gem5_src_dir}"
git -C "$common_gem5_default_src_dir" worktree add -b "wt/${common_gem5_variant}" "${common_gem5_src_dir}"
fi
fi