diff options
Diffstat (limited to 'jenkins/run-build.env')
| -rw-r--r-- | jenkins/run-build.env | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index a5aaaeb..b90b4a5 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,13 +1,12 @@ -build_name="#290" +build_name="#292" docker_opts=(--distro default --arch arm64 --node -tcwg-jade-05 ) +tcwg-jade-06 ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#290-gcc" -branch_opt=(==rr\[gcc_git\] -https://github.com/gcc-mirror/gcc.git#master ) -build_name="#290-gcc-R1" +build_name="#292" +branch_opt=() +build_name="#292-R-force" |