diff options
Diffstat (limited to 'gdb/top.c')
| -rw-r--r-- | gdb/top.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/top.c b/gdb/top.c index 9fb9d5cb5c7..3589d6b6ce7 100644 --- a/gdb/top.c +++ b/gdb/top.c @@ -174,7 +174,7 @@ static const char *previous_repeat_arguments; whatever) can issue its own commands and also send along commands from the user, and have the user not notice that the user interface is issuing commands too. */ -int server_command; +bool server_command; /* Timeout limit for response from target. */ |