basicblock: store length of basiblock (i.e. bytes of instructionstream)
[mate.git] / .gdbcmds
2012-07-17 Bernhard Urbangdb: disable ghc's rts timer and disable signal handlers