From: Jan Kratochvil <jan@jankratochvil.net>
Date: Thu, 11 Nov 2021 19:11:04 +0000 (+0100)
Subject: .gdbinit: Update:
X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=commitdiff_plain;h=c36e8adb127d503dba5e5f856b4635d01f4b86f4

.gdbinit: Update:
  Warning: 'set record insn-number-max', an alias for the command 'set record full insn-number-max', is deprecated.
  Use 'set record full insn-number-max'.
---

diff --git a/.gdbinit b/.gdbinit
index f31f82f..613d134 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -6,7 +6,7 @@ set style enabled off
 set history save on
 # https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=106814
 set complaints 0
-set record insn-number-max 10000000
+set record full insn-number-max 10000000
 define javadump
 	call _Jv_DeepDebug($arg0)
 end