public
/
toolchain
5
0
Fork 0
Code Issues 5 Pull Requests 1 Packages Projects Releases Wiki Activity

allow each project to choose if cache is reused

This commit is contained in:
Lance Vick 2023-09-09 01:01:36 -07:00
parent f966d23708
commit a5ab6f8dcd
Signed by: lrvick
GPG Key ID: 8E47A1EC35A1551D
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile
View File

@ -152,7 +152,6 @@ $(DIST_DIR):
&& { echo "Error: Git has untracked files present"; exit 1; } || : && { echo "Error: Git has untracked files present"; exit 1; } || :
git diff --name-only | grep . \ git diff --name-only | grep . \
&& { echo "Error: Git has unstaged changes present"; exit 1; } || : && { echo "Error: Git has unstaged changes present"; exit 1; } || :
cp -Rp $@/* $(OUT_DIR)/
[ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean [ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean
$(MAKE) default $(MAKE) default
cp -Rp $(OUT_DIR)/* $@/ cp -Rp $(OUT_DIR)/* $@/