diff --git a/ci/openjdk17-redis-6.2/Dockerfile b/ci/openjdk17-redis-6.2/Dockerfile index 09f9ad25d..b983e39fb 100644 --- a/ci/openjdk17-redis-6.2/Dockerfile +++ b/ci/openjdk17-redis-6.2/Dockerfile @@ -1,12 +1,16 @@ -FROM adoptopenjdk/openjdk15:latest +ARG BASE +FROM ${BASE} +# Any ARG statements before FROM are cleared. +ARG REDIS # Copy Spring Data Redis's Makefile into the container COPY ./Makefile / RUN set -eux; \ +# sed -i -e 's/http/https/g' /etc/apt/sources.list ; \ apt-get update ; \ apt-get install -y build-essential ; \ - make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.1; \ + make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=${REDIS}; \ chmod -R o+rw work; \ apt-get clean; \ rm -rf /var/lib/apt/lists/*;