From cb19a3e63f8464e6617a8658629743d1f345a1b1 Mon Sep 17 00:00:00 2001
From: Alessandro Nadalini <alessandro.nadalini3@unibo.it>
Date: Wed, 17 Jun 2026 19:28:35 +0200
Subject: [PATCH] Modified bender installation command to keep compatibility
 with bender repo

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 3f35b24..0048446 100644
--- a/Makefile
+++ b/Makefile
@@ -231,8 +231,8 @@ endif
 
 # Download bender
 bender:
-	curl --proto '=https'  \
-	--tlsv1.2 https://pulp-platform.github.io/bender/init -sSf | sh -s -- 0.28.1 \
+	curl --proto '=https' \
+	--tlsv1.2 https://pulp-platform.github.io/bender/init -sSf | sh -s -- --local
 	export PATH=$(pwd):$(PATH)
 
 include bender_common.mk