fix dist dir name

This commit is contained in:
Lance Vick 2023-09-21 15:50:23 -07:00
parent d8ce33f628
commit 985107c4d2
Signed by: lrvick
GPG Key ID: 8E47A1EC35A1551D
1 changed files with 1 additions and 1 deletions

View File

@ -164,7 +164,7 @@ toolchain-dist: toolchain-restore-mtime toolchain-dist-cache
&& { echo "Error: Git has unstaged changes present"; exit 1; } || : && { echo "Error: Git has unstaged changes present"; exit 1; } || :
[ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean [ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean
$(MAKE) default $(MAKE) default
cp -Rp $(OUT_DIR)/* $@/ cp -Rp $(OUT_DIR)/* $(DIST_DIR)/
$(BIN_DIR): $(BIN_DIR):
mkdir -p $@ mkdir -p $@