anton/fix-gpg-key-id #33

Manually merged
lrvick merged 2 commits from anton/fix-gpg-key-id into main 2025-02-10 06:29:29 +00:00
2 changed files with 8 additions and 6 deletions

View File

@ -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:

View File

@ -57,7 +57,7 @@ make release
### Reproduce an existing release
```
make attest
make reproduce
```
### Sign an existing release