fix build order for dist

This commit is contained in:
Lance Vick 2023-10-03 10:52:51 -07:00
parent 86e5600952
commit 550178ad98
Signed by: lrvick
GPG Key ID: 8E47A1EC35A1551D
1 changed files with 1 additions and 1 deletions

View File

@ -162,7 +162,7 @@ toolchain-dist:
&& { 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) toolchain-clean default toolchain-restore-mtime toolchain-dist-cache $(MAKE) toolchain-clean toolchain-restore-mtime toolchain-dist-cache default
cp -Rp $(OUT_DIR)/* $(DIST_DIR)/ cp -Rp $(OUT_DIR)/* $(DIST_DIR)/
$(BIN_DIR): $(BIN_DIR):