From a18a84c73b961493c8d99d126c4c84cbe67184be Mon Sep 17 00:00:00 2001 From: Matteo Perotti Date: Fri, 1 Dec 2023 10:36:38 +0100 Subject: [PATCH] [hardware] Patch bender dependency --- hardware/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/hardware/Makefile b/hardware/Makefile index 21ddda25f..0b72af6a6 100644 --- a/hardware/Makefile +++ b/hardware/Makefile @@ -120,8 +120,9 @@ all: compile $(buildpath): mkdir -p $(buildpath) -.PHONY: $(BENDER) update +.PHONY: bender update # Bender +bender: $(BENDER) $(BENDER): @[ -x $(BENDER) ] && echo "Bender already exists." || \ curl --proto '=https' --tlsv1.2 https://pulp-platform.github.io/bender/init -sSf | sh -s -- $(BENDER_VERSION)