From 7d2bc3d6f8308e7606b0da9e655c4f1451b1c21c Mon Sep 17 00:00:00 2001 From: "Lance R. Vick" Date: Sun, 24 Sep 2023 22:47:26 -0700 Subject: [PATCH] drop undocumented/unused PRESERVE_CACHE --- Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Makefile b/Makefile index aa153b3..3356d62 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,6 @@ GID := $(shell id -g) USER := $(UID):$(GID) CPUS := $(shell docker run debian nproc) ARCHIVE_SOURCES := true -PRESERVE_CACHE := "false" GIT_REF := $(shell git log -1 --format=%H) GIT_AUTHOR := $(shell git log -1 --format=%an) GIT_KEY := $(shell git log -1 --format=%GP) @@ -158,12 +157,11 @@ toolchain-reproduce: toolchain-clean && echo "Success: $(OUT_DIR) and $(DIST_DIR) are identical" .PHONY: toolchain-dist -toolchain-dist: toolchain-restore-mtime toolchain-dist-cache +toolchain-dist: toolchain-clean toolchain-restore-mtime toolchain-dist-cache git ls-files -o --exclude-standard | grep . \ && { echo "Error: Git has untracked files present"; exit 1; } || : git diff --name-only | grep . \ && { echo "Error: Git has unstaged changes present"; exit 1; } || : - [ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean $(MAKE) default cp -Rp $(OUT_DIR)/* $(DIST_DIR)/