diff options
-rw-r--r-- | round-robin.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/round-robin.sh b/round-robin.sh index 745c5e00..491c1655 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -164,9 +164,6 @@ clone_repo () branch="${rr[${project}_branch]}" fi - # Allow manifest override - branch="${rr[${project}_rev]-$branch}" - # Decide on whether to use read-only or read-write mode for # refs/remotes/baseline. We use read-only wherever possible to allow # developers without ssh keys on Linaro git servers to reproduce builds @@ -197,6 +194,11 @@ clone_repo () clone_or_update_repo $project $branch ${rr[${project}_url]} > /dev/null fi + # Allow manifest override + if [ x"${rr[${project}_rev]-}" != x"" ]; then + git -C $project checkout --detach "${rr[${project}_rev]}" + fi + local cur_rev cur_rev=$(git -C $project rev-parse HEAD) |