From c05e31cbdf2b5d9831335ed89aeccf1939a7a5b9 Mon Sep 17 00:00:00 2001 From: Anton Livaja Date: Mon, 6 Jan 2025 10:22:08 -0500 Subject: [PATCH] clean up makefile --- Makefile | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 1214437..3bde322 100644 --- a/Makefile +++ b/Makefile @@ -7,11 +7,13 @@ 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: