Compare commits
No commits in common. "ec9175bf4546263c83c5e24be9acddcac148e62c" and "b9894265d06618e5c94e17ab03885402db372258" have entirely different histories.
ec9175bf45
...
b9894265d0
10
Makefile
10
Makefile
|
@ -57,7 +57,7 @@ include $(CONFIG_DIR)/make.env
|
|||
export $(shell sed 's/=.*//' $(CONFIG_DIR)/make.env)
|
||||
|
||||
## Use env vars from existing release if present
|
||||
ifeq ($(REPRODUCE),"true")
|
||||
ifneq (,$(wildcard $(DIST_DIR)/release.env))
|
||||
include $(DIST_DIR)/release.env
|
||||
export
|
||||
endif
|
||||
|
@ -141,7 +141,8 @@ toolchain-clean:
|
|||
.PHONY: reproduce
|
||||
reproduce: toolchain-clean
|
||||
mkdir -p $(OUT_DIR)
|
||||
$(MAKE) REPRODUCE="true"
|
||||
cp $(DIST_DIR)/release.env $(OUT_DIR)/release.env
|
||||
$(MAKE) TARGET=$(TARGET) VERSION=$(VERSION)
|
||||
diff -q $(OUT_DIR) $(DIST_DIR) \
|
||||
&& echo "Success: $(OUT_DIR) and $(DIST_DIR) are identical"
|
||||
|
||||
|
@ -151,9 +152,10 @@ $(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; } || :
|
||||
rm -rf $@/*
|
||||
[ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean
|
||||
$(MAKE) default
|
||||
cp -Rp $(OUT_DIR)/* $@/
|
||||
cp -R $(OUT_DIR)/* $@/
|
||||
|
||||
$(BIN_DIR):
|
||||
mkdir -p $@
|
||||
|
@ -232,7 +234,7 @@ $(CACHE_DIR_ROOT)/toolchain.state: \
|
|||
docker load -i $(CACHE_DIR_ROOT)/toolchain.tar
|
||||
docker images --no-trunc --quiet $(IMAGE) > $@
|
||||
|
||||
$(OUT_DIR)/release.env: $(shell git ls-files)
|
||||
$(OUT_DIR)/release.env: | $(OUT_DIR)
|
||||
echo 'VERSION=$(VERSION)' > $(OUT_DIR)/release.env
|
||||
echo 'GIT_REF=$(GIT_REF)' >> $(OUT_DIR)/release.env
|
||||
echo 'GIT_AUTHOR=$(GIT_AUTHOR)' >> $(OUT_DIR)/release.env
|
||||
|
|
Loading…
Reference in New Issue