Overwrite existing files when fetching

This commit is contained in:
Arnaud 2025-10-15 06:57:04 +02:00
parent 2dfd2a8faa
commit 9f7048fe7c
No known key found for this signature in database
GPG Key ID: 20E40A5D3110766F

View File

@ -20,7 +20,7 @@ all: run
fetch:
@echo "Fetching libcodex from GitHub Actions: ${LATEST_URL}"
@curl -fSL --create-dirs -o $(LIBS_DIR)/codex-${OS}-${ARCH}.zip ${LATEST_URL}
@unzip $(LIBS_DIR)/codex-${OS}-${ARCH}.zip -d -qq $(LIBS_DIR)
@unzip -o -qq $(LIBS_DIR)/codex-${OS}-${ARCH}.zip -d $(LIBS_DIR)
@rm -f $(LIBS_DIR)/*.zip
build: