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 9c2412e..c9e6b67 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#435" +build_name="#436" docker_opts=(--distro default ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#435-binutils" +build_name="#436-binutils" branch_opt=(==rr\[binutils_git\] git://sourceware.org/git/binutils-gdb.git#master ) -build_name="#435-binutils-R0" +build_name="#436-binutils-R0" |