From 32c8c3d26af091dbef5e185e35046b7debe314e2 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 4f6035f..756cd97 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 := @@ -70,7 +72,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: