X-Git-Url: https://git.jankratochvil.net/?a=blobdiff_plain;f=.gdbinit;h=613d134f4b3b613edb665d73f4affeb51fea8c4c;hb=1fa3126ba01302b1b268ab2e4db8c7d3359153ec;hp=f31f82fbbb76623cf5f77b7b52231d0d9bd20c4c;hpb=596284f37bff7f96732c8bf8d98279166e134bbf;p=nethome.git

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