diff --git a/build-in-docker.sh b/build-in-docker.sh index 533aa63..bb07c16 100755 --- a/build-in-docker.sh +++ b/build-in-docker.sh @@ -9,6 +9,11 @@ docker exec ${DOCKER_ID} apt-add-repository universe docker exec ${DOCKER_ID} apt-add-repository https://dev.marc.waeckerlin.org/repository wget -O- https://dev.marc.waeckerlin.org/repository/PublicKey \ | docker exec -i ${DOCKER_ID} apt-key add - +if test -n "$*"; then + for p in $*; do + docker exec ${DOCKER_ID} apt-add-repository $p + done +fi docker exec ${DOCKER_ID} apt-get update docker exec ${DOCKER_ID} ./resolve-debbuilddeps.sh docker exec -u $(id -u) ${DOCKER_ID} svn upgrade || true