From a5ab6f8dcd3d25aba8973664467cd4fa5a2c7d98 Mon Sep 17 00:00:00 2001 From: "Lance R. Vick" Date: Sat, 9 Sep 2023 01:01:36 -0700 Subject: [PATCH] allow each project to choose if cache is reused --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index aacfaa4..e82feef 100644 --- a/Makefile +++ b/Makefile @@ -152,7 +152,6 @@ $(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; } || : - cp -Rp $@/* $(OUT_DIR)/ [ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean $(MAKE) default cp -Rp $(OUT_DIR)/* $@/