git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

gdbinit.in: Turn off pagination for the skip commands, restore it to previous state afterwards. 

* gdbinit.in: Turn off pagination for the skip commands, restore
	it to previous state afterwards.

From-SVN: r267581
This commit is contained in:
Jakub Jelinek 2019-01-04 18:56:47 +01:00 committed by Jakub Jelinek
parent af9b2f8658
commit 35a5722c7b
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2019-01-04 Jakub Jelinek <jakub@redhat.com>
* gdbinit.in: Turn off pagination for the skip commands, restore
it to previous state afterwards.
2019-01-04 Sam Tebbs <sam.tebbs@arm.com>
PR gcc/87763

8
gcc/gdbinit.in
View File

@ -219,6 +219,11 @@ macro define __null 0
macro define input_line expand_location(input_location).line
macro define input_filename expand_location(input_location).file
# Remember previous pagination status and turn it off, so that
# the messages for skip commands don't require pagination.
python __gcc_prev_pagination=gdb.parameter("pagination")
set pagination off
# Gracefully handle aborts in functions used from gdb.
set unwindonsignal on
@ -276,3 +281,6 @@ skip PATTERN
skip INSN_LOCATION
skip INSN_HAS_LOCATION
skip JUMP_LABEL_AS_INSN
# Restore pagination to the previous state.
python if __gcc_prev_pagination: gdb.execute("set pagination on")