ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gdb_monitor: disable pagination earlier 

Fixes #3397
This commit is contained in:
Christian Prochaska 2019-06-03 11:57:22 +02:00 committed by Christian Helmuth
parent 8dd391371c
commit a7825ef292
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/ports/run/gdb_monitor.inc
View File

@ -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" }

3
repos/ports/run/gdb_monitor.run
View File

@ -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 ""