From 2aeea45c30b435102f2cb1e592fa2043b1630adb Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 1 Dec 2023 11:21:05 +0100
Subject: [PATCH] os: build 'lib/ld' in 'monitor_gdb.inc'

Fixes #5068
---
 repos/os/run/monitor_gdb.inc | 2 +-
 repos/ports/run/gdb.inc      | 5 +----
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/repos/os/run/monitor_gdb.inc b/repos/os/run/monitor_gdb.inc
index 40e4ae1f1a..6a81a7c0c2 100644
--- a/repos/os/run/monitor_gdb.inc
+++ b/repos/os/run/monitor_gdb.inc
@@ -22,7 +22,7 @@ import_from_depot [depot_user]/src/[base_src] \
                   [depot_user]/src/sandbox \
                   [depot_user]/src/monitor
 
-set build_components { test/monitor_gdb test/log }
+set build_components { lib/ld test/monitor_gdb test/log }
 
 if {[have_include power_on/qemu]} {
 	append build_components { drivers/uart }
diff --git a/repos/ports/run/gdb.inc b/repos/ports/run/gdb.inc
index f4a6342639..3519479a5a 100644
--- a/repos/ports/run/gdb.inc
+++ b/repos/ports/run/gdb.inc
@@ -57,10 +57,7 @@ if {[have_include power_on/qemu]} {
                       [depot_user]/src/vfs_lwip
 }
 
-append build_components "
-	test/monitor_gdb
-	test/log
-"
+append build_components { lib/ld test/monitor_gdb test/log }
 
 build $build_components