From 8b24f279785fcd6b5cf8722ce27945bbe4854d7f Mon Sep 17 00:00:00 2001
From: Chris Nobody <chris@u-d13.com>
Date: Fri, 28 Jan 2022 15:44:13 +0200
Subject: [PATCH] Makefile: fix circular dependency in core lib `sha512256`
 patch target

---
 docker/build/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/build/Makefile b/docker/build/Makefile
index c2f299f..f18363c 100644
--- a/docker/build/Makefile
+++ b/docker/build/Makefile
@@ -142,6 +142,7 @@ ${dep}coreNPMpkgJson: ${dirCoreNPM}/package.json
 ##	XXX Remove this once LedgerHQ merges PR #764 (or an analogous fix).
 ${dep}coreLibPatch: ${dep}coreLibSrc
 	$(call patch,${dirCoreLib},${dirRoot}/core-lib-sha512256-portability-arm64.patch)
+	$(call mark,${dep}coreLibSrc)
 	$(call mark,$@)
 
 ${dirCoreLib}/tools/generateBindings.sh: ${coreLibGit}