From 13343a00fbd2820d23fa55fcfd20f99d7f85c699 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Mon, 12 May 2025 10:53:10 +0200 Subject: [PATCH] Polishing. Add missing packages. See #3136 --- ci/openjdk17-redis-6.2/Dockerfile | 2 +- ci/openjdk17-redis-7.2/Dockerfile | 2 +- ci/openjdk17-valkey-8.0/Dockerfile | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/ci/openjdk17-redis-6.2/Dockerfile b/ci/openjdk17-redis-6.2/Dockerfile index bf7cb4d39..8704997bf 100644 --- a/ci/openjdk17-redis-6.2/Dockerfile +++ b/ci/openjdk17-redis-6.2/Dockerfile @@ -13,7 +13,7 @@ RUN set -eux; \ sed -i -e 's/ports.ubuntu.com/mirrors.ocf.berkeley.edu/g' /etc/apt/sources.list && \ sed -i -e 's/http/https/g' /etc/apt/sources.list && \ apt-get update ; \ - apt-get install -y build-essential ; \ + apt-get install -y build-essential curl; \ make work/redis/bin/redis-cli work/redis/bin/redis-server VERSION=${VERSION}; \ chmod -R o+rw work; \ apt-get clean; \ diff --git a/ci/openjdk17-redis-7.2/Dockerfile b/ci/openjdk17-redis-7.2/Dockerfile index bf7cb4d39..8704997bf 100644 --- a/ci/openjdk17-redis-7.2/Dockerfile +++ b/ci/openjdk17-redis-7.2/Dockerfile @@ -13,7 +13,7 @@ RUN set -eux; \ sed -i -e 's/ports.ubuntu.com/mirrors.ocf.berkeley.edu/g' /etc/apt/sources.list && \ sed -i -e 's/http/https/g' /etc/apt/sources.list && \ apt-get update ; \ - apt-get install -y build-essential ; \ + apt-get install -y build-essential curl; \ make work/redis/bin/redis-cli work/redis/bin/redis-server VERSION=${VERSION}; \ chmod -R o+rw work; \ apt-get clean; \ diff --git a/ci/openjdk17-valkey-8.0/Dockerfile b/ci/openjdk17-valkey-8.0/Dockerfile index 2c7dfcbce..5b040438e 100644 --- a/ci/openjdk17-valkey-8.0/Dockerfile +++ b/ci/openjdk17-valkey-8.0/Dockerfile @@ -15,7 +15,7 @@ RUN set -eux; \ sed -i -e 's/ports.ubuntu.com/mirrors.ocf.berkeley.edu/g' /etc/apt/sources.list && \ sed -i -e 's/http/https/g' /etc/apt/sources.list && \ apt-get update ; \ - apt-get install -y build-essential ; \ + apt-get install -y build-essential curl; \ make work/valkey/bin/valkey-cli work/valkey/bin/valkey-server VERSION=${VERSION}; \ chmod -R o+rw work; \ apt-get clean; \