diff --git a/Makefile b/Makefile index 1214437..608df40 100644 --- a/Makefile +++ b/Makefile @@ -1,17 +1,19 @@ VERSION := development GIT_REF := $(shell git log -1 --format=%H) GIT_AUTHOR := $(shell git log -1 --format=%an) -GIT_PUBKEY := $(shell git log -1 --format=%GP) +GIT_PUBKEY := $(shell git log -1 --format=%GK) GIT_TIMESTAMP := $(shell git log -1 --format=%cd --date=iso) export ## Use env vars from latest release when reproducing ifdef REPRODUCE -include dist/release.env -export + include dist/release.env + export endif + +## Prevents use of caching when building docker image ifdef NOCACHE -NO_CACHE := --no-cache + NO_CACHE := --no-cache endif .DEFAULT_GOAL := @@ -71,7 +73,7 @@ vm: out/dev-shell.digest out/airgap.iso out/sdcard.img -nographic; \ " -## Signing, Verification, and Release Targets +## Release, Signing, Verification, and Reproduction Targets .PHONY: clean clean: