diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-20 17:56:41 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-21 14:14:02 +0000 |
| commit | 3922f589ab98b50295674d01287ed7fc693bbb47 (patch) | |
| tree | 9e38e71ae0ec10eee1acd3441f42ff24b66f6bfe /tcwg-benchmark-results-compare.sh | |
| parent | 8b5d081995cc6e048c5794ccd0ba2bf3c42d2e1b (diff) | |
round-robin scripts: Merge <foo>_url and <foo>_branch into <foo>_git
Merge git "_url" and "_branch" specification into a single "_git"
argument that's constructed from "URL#BRANCH". This argument also
has a special value "baseline", which before was a special value
of "branch".
This rework makes handling of git references simpler and cleaner,
especially on the jenkins side.
Change-Id: I1c1c07629728c693b8350dfa1b61fe767d5b0a0b
Diffstat (limited to 'tcwg-benchmark-results-compare.sh')
0 files changed, 0 insertions, 0 deletions