diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2019-01-04 18:56:47 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2019-01-04 18:56:47 +0100 |
| commit | 35a5722c7b3938cf26a03aed4c5387f550d8ac3e (patch) | |
| tree | ba4f5a6fc7d5ead401db23e3d748254f7ebfcc72 | |
| parent | af9b2f8658a2970f062a781f5978703985d8c03f (diff) | |
| download | gcc-35a5722c7b3938cf26a03aed4c5387f550d8ac3e.zip gcc-35a5722c7b3938cf26a03aed4c5387f550d8ac3e.tar.gz gcc-35a5722c7b3938cf26a03aed4c5387f550d8ac3e.tar.bz2 | |
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
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/gdbinit.in | 8 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ce5bed4..c0dae25 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 71ca264..e16c3c8 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") |