From af7bbac6083fceb1c688e35b4a7f9c0f594ebd59 Mon Sep 17 00:00:00 2001 From: jakub Date: Fri, 4 Jan 2019 17:56:47 +0000 Subject: [PATCH] * gdbinit.in: Turn off pagination for the skip commands, restore it to previous state afterwards. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@267581 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/gdbinit.in | 8 ++++++++ 2 files changed, 13 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ce5bed407709..c0dae2513db8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2019-01-04 Jakub Jelinek + + * gdbinit.in: Turn off pagination for the skip commands, restore + it to previous state afterwards. + 2019-01-04 Sam Tebbs PR gcc/87763 diff --git a/gcc/gdbinit.in b/gcc/gdbinit.in index 71ca2648efda..e16c3c8ef872 100644 --- a/gcc/gdbinit.in +++ b/gcc/gdbinit.in @@ -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") -- 2.47.2