Fix comment indent.

Co-authored-by: Jan Matyas <50193733+JanMatCodasip@users.noreply.github.com>
Signed-off-by: Tim Newsome <tim@sifive.com>
This commit is contained in:
Tim Newsome 2022-09-19 09:43:51 -07:00 committed by GitHub
parent 4004db5d3a
commit 89746e111b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -3065,7 +3065,7 @@ static int handle_target(void *priv)
target->backoff.interval = MAX(polling_interval,
MIN(target->backoff.interval * 2 + 1, 5000));
/* Tell GDB to halt the debugger. This allows the user to run
* monitor commands to handle the situation. */
* monitor commands to handle the situation. */
target_call_event_callbacks(target, TARGET_EVENT_GDB_HALT);
}
target->backoff.next_attempt = timeval_ms() + target->backoff.interval;