From 678bf21b488419750f213e429b9fb84b5844d1dc Mon Sep 17 00:00:00 2001 From: Chayim Date: Tue, 19 Sep 2023 18:53:47 +0300 Subject: [PATCH] Updating redis binary for makefile to 7.2.1 (#2693) * updating redis binary from makefile to 7.2.0 * redis 7.2.1 --------- Co-authored-by: ofekshenawa <104765379+ofekshenawa@users.noreply.github.com> --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b59c3955..cf1f6428 100644 --- a/Makefile +++ b/Makefile @@ -23,7 +23,7 @@ bench: testdeps testdata/redis: mkdir -p $@ - wget -qO- https://download.redis.io/releases/redis-7.2-rc3.tar.gz | tar xvz --strip-components=1 -C $@ + wget -qO- https://download.redis.io/releases/redis-7.2.1.tar.gz | tar xvz --strip-components=1 -C $@ testdata/redis/src/redis-server: testdata/redis cd $< && make all