diff --git a/repos/ports/run/gdb.inc b/repos/ports/run/gdb.inc
index b76aca74d7..f4a6342639 100644
--- a/repos/ports/run/gdb.inc
+++ b/repos/ports/run/gdb.inc
@@ -323,12 +323,12 @@ append config {
pipe="/pipe" rtc="/dev/rtc"/>
-
-
+
+
@@ -357,11 +357,18 @@ install_config $config
# GDB loads symbols from 'debug/ld.lib.so'
if { [have_spec nova] } {
exec ln -sf ld-nova.lib.so debug/ld.lib.so
+ exec tar cf bin/gdb_run_debug.tar -h debug/ld-nova.lib.so.debug
} elseif { [have_spec hw] } {
exec ln -sf ld-hw.lib.so debug/ld.lib.so
+ exec tar cf bin/gdb_run_debug.tar -h debug/ld-hw.lib.so.debug
}
-exec tar cf bin/gdb_run_debug.tar -h debug/ld.lib.so debug/test-monitor_gdb debug/test-log
+exec tar uf bin/gdb_run_debug.tar -h \
+ debug/ld.lib.so \
+ debug/test-monitor_gdb \
+ debug/test-monitor_gdb.debug \
+ debug/test-log \
+ debug/test-log.debug
build_boot_image "[build_artifacts] gdb_run_debug.tar"