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 670fbcd..4ab2f82 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,4 +1,4 @@ -build_name="#263" +build_name="#265" docker_opts=(--distro default --arch @@ -7,7 +7,7 @@ arm64 tcwg-jade-06 ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#263-gcc" +build_name="#265-gcc" branch_opt=(==rr\[gcc_git\] -https://github.com/gcc-mirror/gcc.git#master ) -build_name="#263-gcc-R1" +https://github.com/gcc-mirror/gcc.git#1cf5dc05c678232b52ac0572a94b891131ef48f0 ) +build_name="#265-gcc-R1-force" |