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 8601082..9e67bdd 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,4 +1,4 @@ -build_name="#104" +build_name="#107" docker_opts=(--distro default --arch @@ -9,7 +9,7 @@ tcwg-snow_bmk-02 true ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#104-llvm" +build_name="#107-llvm" branch_opt=(==rr\[llvm_git\] -https://github.com/llvm/llvm-project.git#e88a1ce0137bc14b754b86313228fdc48ba737f3 ) -build_name="#104-llvm-R1-force" +https://github.com/llvm/llvm-project.git#3a6f02a6581b49b269710eea944dc114166403ed ) +build_name="#107-llvm-R1-force" |