From c36e8adb127d503dba5e5f856b4635d01f4b86f4 Mon Sep 17 00:00:00 2001 From: Jan Kratochvil Date: Thu, 11 Nov 2021 20:11:04 +0100 Subject: [PATCH] .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'. --- .gdbinit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.8.3.1