build_name="#1141"
docker_opts=(--distro 	
default 	)
source build_container.sh
trap "cleanup_all_containers" EXIT
build_name="#1141-gcc"
branch_opt=(==rr\[gcc_git\] 	
https://github.com/gcc-mirror/gcc.git#master 	)
build_name="#1141-gcc-R0"