.gdbinit: Update:

[nethome.git] / .gdbinit

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