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 0a9d758..2efadb5 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,15 +1,15 @@ -build_name="#766" +build_name="#767" docker_opts=(--distro default --arch armhf --node -tcwg-jade-06 +tcwg-jade-05 --security --cap-add=SYS_ADMIN\ --security-opt\ apparmor=unconfined ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#766-glibc" +build_name="#767-glibc" branch_opt=(==rr\[glibc_git\] git://sourceware.org/git/glibc.git#master ) -build_name="#766-glibc-R0" +build_name="#767-glibc-R0" |