diff --git a/ci_support/run_docker_build.sh b/ci_support/run_docker_build.sh index f4bad78..eddebef 100755 --- a/ci_support/run_docker_build.sh +++ b/ci_support/run_docker_build.sh @@ -13,6 +13,7 @@ docker info config=$(cat <