denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

noux: fix noux_gdb run script

Browse Source 
Fixes #3287
This commit is contained in:
Christian Prochaska
2019-04-10 15:12:26 +02:00
committed by Christian Helmuth
parent 4672fdb9f0
commit dca144f2ee
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/ports/run/noux_gdb.run
View File

@@ -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>