commit 0709c53bcc14fabe780ceb37f4cd618379374c89
parent da0f3f5df02d660fe08f2789eabfcc41d6efe5a5
Author: deurzen <m.deurzen@tum.de>
Date: Sun, 7 Feb 2021 13:40:50 +0100
fixes command name
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/project/extract_sizeret.py b/project/extract_sizeret.py
@@ -82,7 +82,7 @@ RkPrintMem()
class RkDebug(gdb.Command):
def __init__(self):
- super(RkDebug, self).__init__("rk-debug_level", gdb.COMMAND_USER)
+ super(RkDebug, self).__init__("rk-debug", gdb.COMMAND_USER)
def invoke(self, arg, from_tty):
global debug_level