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 71da117..fa69082 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,13 +1,13 @@ -build_name="#1413" +build_name="#1414" docker_opts=(--distro default --arch armhf --node -tcwg-snow-02 ) +tcwg-jade-06 ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#1413-gcc" +build_name="#1414-gcc" branch_opt=(==rr\[gcc_git\] -https://github.com/gcc-mirror/gcc.git#5e8a30d8b8f4d7ea0a8340b46c1e0c865dbde781 ) -build_name="#1413-gcc-R# 20 regressions-force" +https://github.com/gcc-mirror/gcc.git#master ) +build_name="#1414-gcc-R0" |