From 23f92da02fe6e439f4ddf3884be4dfe9a915160b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 8 Feb 2022 16:26:05 +0100
Subject: [PATCH] mk/ld.mk: trigger kernel-dependent ld.lib.so build

When 'KERNEL' is specified, let the generic (pseudo) target of
lib/mk/ld.mk trigger the build of the actual dynamic linker named after
the used kernel. This way, we become able to remove the magic
linker-build step from the boot-image stage of the run tool.

Issue #4320
---
 repos/base/lib/mk/ld.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/base/lib/mk/ld.mk b/repos/base/lib/mk/ld.mk
index 77dca1ada3..4ba705717b 100644
--- a/repos/base/lib/mk/ld.mk
+++ b/repos/base/lib/mk/ld.mk
@@ -13,3 +13,5 @@
 SHARED_LIB := yes
 
 LD_OPT += -T$(BASE_DIR)/src/lib/ldso/linker.ld
+
+LIBS += $(addprefix ld-,$(KERNEL))