From 9f7048fe7c6c94cfc159584ce38957d8766d2e6b Mon Sep 17 00:00:00 2001 From: Arnaud Date: Wed, 15 Oct 2025 06:57:04 +0200 Subject: [PATCH] Overwrite existing files when fetching --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7a2c913..4417e97 100644 --- a/Makefile +++ b/Makefile @@ -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: