diff options
Diffstat (limited to 'jenkins/run-build.env')
-rw-r--r-- | jenkins/run-build.env | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index e2c3af1..81f00a2 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#91" +build_name="#92" docker_run=(./jenkins-scripts/docker-run.sh --distro default ) -build_name="#91-linux" +build_name="#92-linux" branch_opt=(==rr\[linux_git\] -https://git.linaro.org/kernel-org/linux-next.git#9480af8687200edec69eb27d26fac8c335d09344 ) +https://git.linaro.org/kernel-org/linux-next.git#4d2c646ac07cf4a35ef1c4a935a1a4fd6c6b1a36 ) docker_precommit=() res="0" |