From 5c94b65dd7549474982ce114976c9f6efed57a3d Mon Sep 17 00:00:00 2001
From: Mark Paluch <mark.paluch@broadcom.com>
Date: Thu, 8 Aug 2024 14:58:19 +0200
Subject: [PATCH] CI ping.

---
 ci/openjdk21-redis-6.2/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/openjdk21-redis-6.2/Dockerfile b/ci/openjdk21-redis-6.2/Dockerfile
index d20826b6c..3505e2dde 100644
--- a/ci/openjdk21-redis-6.2/Dockerfile
+++ b/ci/openjdk21-redis-6.2/Dockerfile
@@ -10,7 +10,7 @@ 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 ; \
+	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; \