From 4672fdb9f0323d0846ab0453abf68150e933d691 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 12 Apr 2019 18:32:12 +0200
Subject: [PATCH] gdb_monitor.run: remove broken stderr redirection

Fixes #3290
---
 repos/ports/run/gdb_monitor.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run
index cf83e58631..177e6a58db 100644
--- 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 ""