path: root/jenkins/run-build.env

build_name="#96"
docker_run=(./jenkins-scripts/docker-run.sh 	
--distro 	
default 	)
build_name="#96-linux"
branch_opt=(==rr\[linux_git\] 	
https://git.linaro.org/kernel-org/linux-next.git#33d1971ea18722121dd0f18445493d9e395d6434 	)
docker_precommit=()
res="0"