X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=blobdiff_plain;f=.gdbinit;fp=.gdbinit;h=613d134f4b3b613edb665d73f4affeb51fea8c4c;hp=f31f82fbbb76623cf5f77b7b52231d0d9bd20c4c;hb=c36e8adb127d503dba5e5f856b4635d01f4b86f4;hpb=814eb6428dfeda64326f695be75ab0186202d7da;ds=sidebyside

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