jenkins/run-build.env


1
2
3
4
5
6
7
8
9

build_name="#88"
docker_opts=(--distro 	
default 	)
source build_container.sh
trap "cleanup_all_containers" EXIT
build_name="#88-gcc"
branch_opt=(==rr\[gcc_git\] 	
https://github.com/gcc-mirror/gcc.git#f5213759a7e0efc4ca7bbb484bab94ca19bc1b5d 	)
build_name="#88-gcc-Rall-force"