Skip to content

Commit

Permalink
[hardware] Patch bender dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
@mp-17
mp-17 committed Dec 1, 2023
1 parent eec60cf commit a18a84c
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion hardware/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit a18a84c

Please sign in to comment.