diff options
Diffstat (limited to 'jenkins/run-build.env')
| -rw-r--r-- | jenkins/run-build.env | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index a86ed96..912ec4b 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#197" +build_name="#198" docker_opts=(--distro default ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#197-binutils" -branch_opt=(==rr\[binutils_git\] -git://sourceware.org/git/binutils-gdb.git#master ) -build_name="#197-binutils-R7" +build_name="#198-gcc" +branch_opt=(==rr\[gcc_git\] +https://github.com/gcc-mirror/gcc.git#master ) +build_name="#198-gcc-R7" |