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'.
set history save on
# https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=106814
set complaints 0
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
define javadump
call _Jv_DeepDebug($arg0)
end