From 8ed2e150a417f11d817fb562ac6197b494d7d861 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 16 Jan 2014 14:46:24 +0100
Subject: [PATCH] gdb_monitor: inhibit .gdbinit in unattended test

---
 ports/run/gdb_monitor.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/run/gdb_monitor.run b/ports/run/gdb_monitor.run
index 1f11e0c1c..d241bc755 100644
--- a/ports/run/gdb_monitor.run
+++ b/ports/run/gdb_monitor.run
@@ -158,7 +158,7 @@ append gdb_cmds {-ex "bt" }
 append gdb_cmds {-ex "q" }
 
 # run GDB and redirect stderr to stdio to get the relevant output into the expect buffer  
-eval spawn [gdb] bin/$gdb_target_binary -batch $gdb_cmds 2&>1
+eval spawn [gdb] bin/$gdb_target_binary -n -batch $gdb_cmds 2&>1
 
 set timeout 120
 expect {