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 2698da5..b5bee23 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,9 +1,9 @@ -build_name="#86" +build_name="#87" docker_opts=(--distro default ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#86-gcc" +build_name="#87-gcc" branch_opt=(==rr\[gcc_git\] -https://github.com/gcc-mirror/gcc.git#142abf03bcbf066c521fd73edcb465db69a29040 ) -build_name="#86-gcc-Rboot-force" +https://github.com/gcc-mirror/gcc.git#20214aaab6fe8d77523ef86b47248f35992f49d4 ) +build_name="#87-gcc-R# 00:14:18 make: *** [Makefile:2014: .] Error 2-force" |