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 f7d8e6f..f76babc 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#181" +build_name="#182" docker_opts=(--distro default ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#181-gcc" +build_name="#182-gcc" branch_opt=(==rr\[gcc_git\] -https://github.com/gcc-mirror/gcc.git#2d44ab221f64f01fc676be0da1a6774740d713c6 ) -build_name="#181-gcc-R0-force" +https://github.com/gcc-mirror/gcc.git#3f176e1adc6bc9cc2c21222d776b51d9f43cb66b ) +build_name="#182-gcc-R# 6 regressions-force" |