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 c9af7ef..e92f1d8 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#84" +build_name="#85" docker_opts=(--distro default ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#84-newlib" +build_name="#85-newlib" branch_opt=(==rr\[newlib_git\] -git://sourceware.org/git/newlib-cygwin.git#f81bf08f7caaebf877956d5d09c56a5d501de08a ) -build_name="#84-newlib-R# 00:00:24 make[4]: *** [Makefile:2345: arm/redboot-crt0.o] Error 1-force" +git://sourceware.org/git/newlib-cygwin.git#master ) +build_name="#85-newlib-R# build_abe qemu:" |