[Makefile] Download bender from the new upstream repository
@@ -128,7 +128,7 @@ check-bender:
$(BENDER_INSTALL_DIR)/bender:
mkdir -p $(BENDER_INSTALL_DIR) && cd $(BENDER_INSTALL_DIR) && \
- curl --proto '=https' --tlsv1.2 https://fabianschuiki.github.io/bender/init -sSf | sh
+ curl --proto '=https' --tlsv1.2 https://pulp-platform.github.io/bender/init -sSf | sh
# Verilator
verilator: $(VERILATOR_INSTALL_DIR)/bin/verilator
