updates

scripts/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