diff options
Diffstat (limited to 'round-robin.sh')
-rw-r--r-- | round-robin.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/round-robin.sh b/round-robin.sh index 45190df0..01054272 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -94,12 +94,12 @@ clone_repo () else branch=${rr[current_rev]} fi - elif [ x"${rr[mode]}" = x"reproduce" ]; then - branch="${rr[${project}_rev]}" else branch="refs/remotes/baseline/${rr[baseline_branch]}" fi + branch="${rr[${project}_sha1]-$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 @@ -121,7 +121,7 @@ clone_repo () cur_rev=$(git -C $project rev-parse HEAD) cat <<EOF | manifest_out -rr[${project}_rev]=$cur_rev +rr[${project}_sha1]=$cur_rev EOF if [ x"$project" = x"${rr[current_project]}" ]; then |