jenkins/run-build.env


1
2
3
4
5
6
7
8
9
10
11
12
13

build_name="#1507"
docker_opts=(--distro 	
default 	
--arch 	
armhf 	
--node 	
tcwg-jade-05 	)
source build_container.sh
trap "cleanup_all_containers" EXIT
build_name="#1507-gcc"
branch_opt=(==rr\[gcc_git\] 	
https://github.com/gcc-mirror/gcc.git#master 	)
build_name="#1507-gcc-R1"