diff options
Diffstat (limited to 'jenkins/run-build.env')
-rw-r--r-- | jenkins/run-build.env | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index 83bb1a3..786ff7f 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,15 +1,13 @@ -build_name="#91" +build_name="#93" docker_opts=(--distro default ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#91-binutils-gcc-linux-qemu" +build_name="#93-binutils-gcc-qemu" branch_opt=(==rr\[binutils_git\] git://sourceware.org/git/binutils-gdb.git#master ==rr\[gcc_git\] https://github.com/gcc-mirror/gcc.git#master -==rr\[linux_git\] -https://git.linaro.org/kernel-org/linux-next.git#master ==rr\[qemu_git\] https://gitlab.com/qemu-project/qemu.git#master ) -build_name="#91-binutils-gcc-linux-qemu-Rboot" +build_name="#93-binutils-gcc-qemu-Rboot" |