diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-14 07:44:58 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-14 07:47:23 +0000 |
commit | e2e53d0a25e84724526712bf9f98534932893820 (patch) | |
tree | c8495ffb141cd4ff97f56f64dbee166e6f597271 | |
parent | 902a54d9d91ef9db14adcf30795f5484a755ec5b (diff) |
jenkins-helpers.sh (git_init_linaro_local_remote): Add special case ...
... for gcc-compare-results.git, for which we want to use the main
repo to generate flaky test lists.
Change-Id: I7b2e7a0e7401aa4982eebd11658c119e33ee6750
-rw-r--r-- | jenkins-helpers.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index a918a7ab..793a498f 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -1103,6 +1103,9 @@ git_init_linaro_local_remote () *"kernel.org/"*"/linux"*) new_url="toolchain/ci/linux.git" ;; + *"linaro.org/toolchain/gcc-compare-results.git") + new_url="toolchain/gcc-compare-results.git" + ;; *) new_url="toolchain/ci/$(basename $origin_url)" ;; |