jenkins/run-build.env


1
2
3
4
5
6
7
8

build_name="#28"
docker_run=(./jenkins-scripts/docker-run.sh 	
--distro 	
default 	)
build_name="#28-binutils"
branch_opt=(==rr\[binutils_git\] 	
git://sourceware.org/git/binutils-gdb.git#origin/master 	)
build_name="#28-binutils-R0"