jenkins/run-build.env


1
2
3
4
5
6
7
8
9

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