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 7e8a330..dc08f02 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#74" +build_name="#75" docker_run=(./jenkins-scripts/docker-run.sh --distro default ) -build_name="#74-qemu" -branch_opt=(==rr\[qemu_git\] -https://gitlab.com/qemu-project/qemu.git#71934cf6bf878f82dac3fceb7d06d293ec3f6f8f ) +build_name="#75-llvm" +branch_opt=(==rr\[llvm_git\] +https://github.com/llvm/llvm-project.git#ab202aa7004a451ee9f496505256cfcb94d71747 ) docker_precommit=() res="0" |