From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 4 Jan 2019 17:56:47 +0000 (+0000)
Subject: 	* gdbinit.in: Turn off pagination for the skip commands, restore
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=af7bbac6083fceb1c688e35b4a7f9c0f594ebd59;p=thirdparty%2Fgcc.git

	* 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
---

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