+set record insn-number-max 10000000
[nethome.git] / bin / gdbpatchno
2010-07-22 jkratochFind the highest gdb.spec patch number.