diff options
Diffstat (limited to 'jenkins/run-build.env')
| -rw-r--r-- | jenkins/run-build.env | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env new file mode 100644 index 0000000..e3defae --- /dev/null +++ b/jenkins/run-build.env @@ -0,0 +1,15 @@ +build_name="#94" +docker_opts=(--distro +default +--arch +arm64 +--node +tcwg-jade-03 +--ssh_info +true ) +source build_container.sh +trap "cleanup_all_containers" EXIT +build_name="#94-llvm" +branch_opt=(==rr\[llvm_git\] +https://github.com/llvm/llvm-project.git#main ) +build_name="#94-llvm-R1" |