From f966d23708dd56bdaf1608641ef9bdf2443abc82 Mon Sep 17 00:00:00 2001 From: "Lance R. Vick" Date: Sat, 9 Sep 2023 00:56:31 -0700 Subject: [PATCH] allow re-use of old unchanged dist artifacts --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index f1d32fa..aacfaa4 100644 --- a/Makefile +++ b/Makefile @@ -152,10 +152,10 @@ $(DIST_DIR): && { echo "Error: Git has untracked files present"; exit 1; } || : git diff --name-only | grep . \ && { echo "Error: Git has unstaged changes present"; exit 1; } || : - rm -rf $@/* + cp -Rp $@/* $(OUT_DIR)/ [ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean $(MAKE) default - cp -R $(OUT_DIR)/* $@/ + cp -Rp $(OUT_DIR)/* $@/ $(BIN_DIR): mkdir -p $@