.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 (file)
--- 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