diff --git a/repos/ports/run/noux_gdb.run b/repos/ports/run/noux_gdb.run
index 44840966ee..f347cf5957 100644
--- a/repos/ports/run/noux_gdb.run
+++ b/repos/ports/run/noux_gdb.run
@@ -24,7 +24,6 @@ set build_components {
drivers/framebuffer drivers/pci drivers/input drivers/usb
server/terminal server/terminal_crosslink
app/gdb_monitor
- test/gdb_monitor
}
lappend_if [have_spec gpio] build_components drivers/gpio
@@ -42,7 +41,6 @@ set gdb_target_binaries {
test-gdb_monitor
ld.lib.so
libc.lib.so
- libc_log.lib.so
}
lappend gdb_target_binaries ${gdb_target_binary_name}
@@ -136,10 +134,19 @@ append config {
- }
+
+
+
+ }
append config "
- "
+ "
append config {
+
+
+
+
+
+
@@ -150,14 +157,14 @@ append config {
-
+
-
+
}
append config "
@@ -202,7 +209,7 @@ install_config $config
set boot_modules {
core init timer ld.lib.so noux terminal terminal_crosslink
libc.lib.so libm.lib.so libc_noux.lib.so ncurses.lib.so expat.lib.so
- libc_lock_pipe.lib.so libc_log.lib.so libc_terminal.lib.so
+ libc_lock_pipe.lib.so libc_terminal.lib.so
gdb_monitor test-gdb_monitor
gdb.tar test-gdb_monitor.tar test-gdb_monitor-src.tar
}