diff options
Diffstat (limited to 'jenkins/run-build.env')
-rw-r--r-- | jenkins/run-build.env | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index 447e90e..baa4dfd 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#63" +build_name="#64" docker_run=(./jenkins-scripts/docker-run.sh --distro default ) -build_name="#63-linux" -branch_opt=(==rr\[linux_git\] -https://git.linaro.org/kernel-org/linux.git#ec351c8f2e6211054e51e661589cddd1fe856425 ) +build_name="#64-binutils" +branch_opt=(==rr\[binutils_git\] +git://sourceware.org/git/binutils-gdb.git#92f46037a0f672d1480f754f76a9bfa0334d099c ) docker_precommit=() res="0" |