diff options
Diffstat (limited to 'jenkins/run-build.env')
-rw-r--r-- | jenkins/run-build.env | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index 946a9d5..65a2194 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,8 +1,8 @@ -build_name="#52" +build_name="#53" docker_run=(./jenkins-scripts/docker-run.sh --distro default ) -build_name="#52-llvm" -branch_opt=(==rr\[llvm_git\] -https://github.com/llvm/llvm-project.git#origin/main ) -build_name="#52-llvm-Rboot" +build_name="#53-linux" +branch_opt=(==rr\[linux_git\] +https://git.linaro.org/kernel-org/linux-next.git#6b252cf42281045a9f803d2198023500cfa6ebd2 ) +build_name="#53-linux-Rboot-force" |