gdb_monitor.run: remove broken stderr redirection

Fixes #3290
2019-04-12 18:32:12 +02:00 · 2019-04-12 18:32:12 +02:00 · 4672fdb9f0
commit 4672fdb9f0
parent d6332f1767
1 changed files with 2 additions and 2 deletions
--- a/repos/ports/run/gdb_monitor.run
+++ b/repos/ports/run/gdb_monitor.run
@ -138,8 +138,8 @@ set gdb_cmds ""
 append gdb_cmds {-ex "target remote localhost:$local_port" }
 append gdb_cmds [gdb_initial_breakpoint_cmds $gdb_target_binary]

-# run GDB and redirect stderr to stdio to get the relevant output into the expect buffer
-eval spawn [gdb] debug/ld.lib.so -n $gdb_cmds 2&>1
+# run GDB
+eval spawn [gdb] debug/ld.lib.so -n $gdb_cmds
 set gdb_id [list $spawn_id $genode_id]

 puts ""