path: root/jenkins/run-build.env

build_name="#74"
docker_run=(./jenkins-scripts/docker-run.sh 	
--distro 	
default 	)
build_name="#74-qemu"
branch_opt=(==rr\[qemu_git\] 	
https://gitlab.com/qemu-project/qemu.git#71934cf6bf878f82dac3fceb7d06d293ec3f6f8f 	)
docker_precommit=()
res="0"