optional PRESERVE_CACHE argument
This commit is contained in:
parent
dafafd5d6c
commit
4eff8b258b
4
Makefile
4
Makefile
|
@ -14,6 +14,7 @@ UID := $(shell id -u)
|
||||||
GID := $(shell id -g)
|
GID := $(shell id -g)
|
||||||
USER := $(UID):$(GID)
|
USER := $(UID):$(GID)
|
||||||
CPUS := $(shell docker run -it debian nproc)
|
CPUS := $(shell docker run -it debian nproc)
|
||||||
|
PRESERVE_CACHE := "false"
|
||||||
GIT_REF := $(shell git log -1 --format=%H)
|
GIT_REF := $(shell git log -1 --format=%H)
|
||||||
GIT_AUTHOR := $(shell git log -1 --format=%an)
|
GIT_AUTHOR := $(shell git log -1 --format=%an)
|
||||||
GIT_KEY := $(shell git log -1 --format=%GP)
|
GIT_KEY := $(shell git log -1 --format=%GP)
|
||||||
|
@ -106,7 +107,8 @@ reproduce: toolchain-clean
|
||||||
.PHONY: $(DIST_DIR)
|
.PHONY: $(DIST_DIR)
|
||||||
$(DIST_DIR):
|
$(DIST_DIR):
|
||||||
rm -rf $@/*
|
rm -rf $@/*
|
||||||
$(MAKE) toolchain-clean default
|
[ "$(PRESERVE_CACHE)" = "true" ] || $(MAKE) toolchain-clean
|
||||||
|
$(MAKE) default
|
||||||
cp -R $(OUT_DIR)/* $@/
|
cp -R $(OUT_DIR)/* $@/
|
||||||
|
|
||||||
$(BIN_DIR):
|
$(BIN_DIR):
|
||||||
|
|
Loading…
Reference in New Issue