diff options
Diffstat (limited to 'jenkins/run-build.env')
-rw-r--r-- | jenkins/run-build.env | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index 97657b8..acb4e4f 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,4 +1,4 @@ -build_name="#75" +build_name="#77" docker_opts=(--distro default --arch @@ -9,7 +9,6 @@ tcwg-jade-03 true ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#75-llvm" -branch_opt=(==rr\[llvm_git\] -https://github.com/llvm/llvm-project.git#main ) -build_name="#75-llvm-R1" +build_name="#77" +branch_opt=() +build_name="#77-R1-force" |