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

ensure default is run before any toolchain commands in dist, to allow user to optionally restore toolchain.tgz cache

This commit is contained in:
Lance Vick 2023-09-27 19:22:08 -07:00
parent f4a93830c5
commit 86e5600952
Signed by: lrvick
GPG Key ID: 8E47A1EC35A1551D
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -157,12 +157,12 @@ toolchain-reproduce: toolchain-clean
&& echo "Success: $(OUT_DIR) and $(DIST_DIR) are identical" && echo "Success: $(OUT_DIR) and $(DIST_DIR) are identical"
.PHONY: toolchain-dist .PHONY: toolchain-dist
toolchain-dist: toolchain-clean toolchain-restore-mtime toolchain-dist-cache toolchain-dist:
git ls-files -o --exclude-standard | grep . \ git ls-files -o --exclude-standard | grep . \
&& { 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; } || :
$(MAKE) default $(MAKE) toolchain-clean default toolchain-restore-mtime toolchain-dist-cache
cp -Rp $(OUT_DIR)/* $(DIST_DIR)/ cp -Rp $(OUT_DIR)/* $(DIST_DIR)/
$(BIN_DIR): $(BIN_DIR):