3 # Orchestrate run-build-packages.sh for every target.
8 JENKINS_DIR=$(dirname "$(readlink -e "$0")")
12 if docker run -v "$JENKINS_DIR:/jenkins" -v "$WORKSPACE:/arvados" \
13 --env ARVADOS_DEBUG=1 "arvados/build:$tag"; then
14 # Success - nothing more to do.
18 echo "ERROR: $tag build failed with exit status $FINAL_EXITCODE." >&2
22 # In case it's needed, build the containers. This costs just a few
23 # seconds when the containers already exist, so it's not a big deal to
25 cd "$JENKINS_DIR/dockerfiles"
26 time ./build-all-build-containers.sh
28 for dockerfile_path in $(find -name Dockerfile); do
29 run_docker "$(basename $(dirname "$dockerfile_path"))"