path: root/jenkins/run-build.env

build_name="#54"
docker_run=(./jenkins-scripts/docker-run.sh 	
--distro 	
default 	)
build_name="#54-binutils"
branch_opt=(==rr\[binutils_git\] 	
git://sourceware.org/git/binutils-gdb.git#c7de8f2570c31fc634f500a3f4693597004dfebf 	)
docker_precommit=()
res="0"