diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-20 08:46:49 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-20 09:49:51 +0000 |
commit | 050ddab77da4a1c12b49acb360597b704e2eaeab (patch) | |
tree | 2a9a5656b01fdc0f5c98a3d0dd522bc9fd911609 /jenkins-helpers.sh | |
parent | 1ac1a651a54906e23df9fbc7527493050db41998 (diff) |
round-robin-bisect.sh: Simplify handling of baseline repos/remotes
Create baseline remote only when we are about to push to them.
Use baseline repos as normal repos for the rest of the build process.
Change-Id: I17e6c57c051ae1b94921ccbb9ee1874fe0c41409
Diffstat (limited to 'jenkins-helpers.sh')
-rw-r--r-- | jenkins-helpers.sh | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 066aacb9..1915f66c 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -545,17 +545,15 @@ clone_or_update_repo () ) } -# Clone or update a baseline git repo -# $1 -- repo directory -# $2 -- branch to checkout -# $3 -- Whether to make the new remote read-only or read-write. -clone_baseline_repo () +# Print baseline git repo +# $1 -- project name +# $3 -- whether to make the new remote read-only or read-write. +print_baseline_repo () { ( set -euf -o pipefail local dir="$1" - local branch="$2" local read_only="$3" local repo @@ -575,7 +573,7 @@ clone_baseline_repo () url="ssh://$url" fi - clone_or_update_repo "$dir" "$branch" "$url" auto "$branch" baseline + echo "$url" ) } |