diff options
-rw-r--r-- | gdb/mi/mi-main.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/mi/mi-main.c b/gdb/mi/mi-main.c index 447b0bf4b79..45c85264f14 100644 --- a/gdb/mi/mi-main.c +++ b/gdb/mi/mi-main.c @@ -1086,6 +1086,8 @@ captured_mi_execute_command (struct ui_out *uiout, void *data) args->action = EXECUTE_COMMAND_DISPLAY_PROMPT; args->rc = mi_cmd_execute (context); + current_command_token = context->token; + if (!target_can_async_p () || !target_executing) { /* print the result if there were no errors |