diff options
Diffstat (limited to 'jenkins/run-build.env')
| -rw-r--r-- | jenkins/run-build.env | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index 74ad0dd..41c293c 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,12 +1,15 @@ -build_name="#52" -docker_run=(./jenkins-scripts/docker-run.sh ---distro +build_name="#53" +docker_opts=(--distro default --arch arm64 --node -tcwg-snow_bmk-02 ) -build_name="#52-llvm" +tcwg-jade-03 +--ssh_info +true ) +source build_container.sh +trap "cleanup_all_containers" EXIT +build_name="#53-llvm" branch_opt=(==rr\[llvm_git\] -https://github.com/llvm/llvm-project.git#origin/main ) -build_name="#52-llvm-R1" +https://github.com/llvm/llvm-project.git#main ) +build_name="#53-llvm-R1" |