diff options
| -rw-r--r-- | win32/gui/WndMain.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/win32/gui/WndMain.c b/win32/gui/WndMain.c index 4c01b200..6f7d0749 100644 --- a/win32/gui/WndMain.c +++ b/win32/gui/WndMain.c @@ -225,6 +225,12 @@ int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine return 0; } + else if (strcmp(arg, "-gdb") == 0) { + /* Force configuration. */ + Config.Cpu = CPU_INTERPRETER; + Config.GdbServer = 1; + dbg_start(); + } } if (SysInit() == -1) return 1; |