From a7825ef292f2005bf34e26ca23000a2bb479c1c8 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 3 Jun 2019 11:57:22 +0200
Subject: [PATCH] gdb_monitor: disable pagination earlier

Fixes #3397
---
 repos/ports/run/gdb_monitor.inc | 3 +++
 repos/ports/run/gdb_monitor.run | 3 ---
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/ports/run/gdb_monitor.inc b/repos/ports/run/gdb_monitor.inc
index b44e4bdad3..8e27d4cc62 100644
--- a/repos/ports/run/gdb_monitor.inc
+++ b/repos/ports/run/gdb_monitor.inc
@@ -17,6 +17,9 @@ proc gdb_initial_breakpoint_cmds { target_binary_name } {
 	# don't ask for y/n when loading a new symbol file
 	append gdb_cmds {-ex "set interactive-mode off" }
 
+	# avoid pagination prompts in autopilot test
+	append gdb_cmds {-ex "set pagination off" }
+
 	# set a breakpoint in the 'binary_ready_hook_for_gdb' function
 	append gdb_cmds {-ex "b binary_ready_hook_for_gdb" }
 
diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run
index 143363a752..25ef558cca 100644
--- a/repos/ports/run/gdb_monitor.run
+++ b/repos/ports/run/gdb_monitor.run
@@ -142,9 +142,6 @@ append gdb_cmds [gdb_initial_breakpoint_cmds $gdb_target_binary]
 eval spawn [gdb] debug/ld.lib.so -n $gdb_cmds
 set gdb_id [list $spawn_id $genode_id]
 
-send "set pagination off\n"
-run_genode_until {\(gdb\)} 20 $gdb_id
-
 puts ""
 puts "----- test: breakpoint in 'main()' -----"
 puts ""