diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-15 19:53:17 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-15 19:53:17 +0000 |
commit | cef6a0dfbc43549b644dc974bb9cf4d7167c0086 (patch) | |
tree | 712c1dba9edbce10a5866e51f097ab8c0029638e | |
parent | a804ea62c60cd3bde91283bd6f8f3f0efa539b34 (diff) |
jenkins-helpers.sh: Update only requested remote
... in clone_or_update_repo_no_checkout. Otherwise we risk failing
due to some other remote being broken.
Change-Id: Ifa9189d5206a0f34c67c0e7dd352bbc0ea3a38d4
-rw-r--r-- | jenkins-helpers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 793a498f..2e8d8ee6 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -490,7 +490,7 @@ clone_or_update_repo_no_checkout () local refspec="+refs/changes/*:refs/changes/*" if [ x"$single_branch" = x"" ]; then - run_with_timeout_and_retry 1h 3 git remote update -p + run_with_timeout_and_retry 1h 3 git remote update -p "$remote" else refspec="+refs/heads/$single_branch:refs/remotes/$remote/$single_branch" fi |