From 89746e111b11ea6cb5cc2cb76edfc4e31ff88038 Mon Sep 17 00:00:00 2001 From: Tim Newsome Date: Mon, 19 Sep 2022 09:43:51 -0700 Subject: [PATCH] Fix comment indent. Co-authored-by: Jan Matyas <50193733+JanMatCodasip@users.noreply.github.com> Signed-off-by: Tim Newsome --- src/target/target.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/target/target.c b/src/target/target.c index 35c5be8f6..e663fff63 100644 --- a/src/target/target.c +++ b/src/target/target.c @@ -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;