summaryrefslogtreecommitdiff
path: root/jenkins-helpers.sh
diff options
context:
space:
mode:
authorMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2021-07-20 08:46:49 +0000
committerMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2021-07-20 09:49:51 +0000
commit050ddab77da4a1c12b49acb360597b704e2eaeab (patch)
tree2a9a5656b01fdc0f5c98a3d0dd522bc9fd911609 /jenkins-helpers.sh
parent1ac1a651a54906e23df9fbc7527493050db41998 (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.sh12
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"
)
}