From dca144f2ee18487ffd763fe980593dc1852ceb1b Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 10 Apr 2019 15:12:26 +0200
Subject: [PATCH] noux: fix noux_gdb run script

Fixes #3287
---
 repos/ports/run/noux_gdb.run | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/noux_gdb.run b/repos/ports/run/noux_gdb.run
index 7557ecf6fa..ba4f8a50a3 100644
--- a/repos/ports/run/noux_gdb.run
+++ b/repos/ports/run/noux_gdb.run
@@ -31,6 +31,9 @@ set build_components {
 }
 
 lappend build_components "lib/gdbserver_platform-$::env(KERNEL)"
+lappend_if [have_spec nova] build_components lib/ld/nova
+lappend_if [have_spec foc]  build_components lib/ld/foc
+lappend build_components noux-pkg/[noux_gdb_pkg_name]
 
 # the application to be debugged with GDB
 lappend build_components test/gdb_monitor
@@ -58,8 +61,6 @@ lappend gdb_target_binaries ${gdb_target_binary_name}
 
 create_binary_and_source_tars ${gdb_target_binary_name} ${gdb_target_binaries}
 
-create_boot_directory
-
 append config {
 	<config verbose="yes">
 		<parent-provides>