[pushed] Change server_command to bool
Tom Tromey
tom@tromey.com
Sat May 9 18:05:55 GMT 2020
I noticed that "server_command" is an int, but really it should be a
bool.
gdb/ChangeLog
2020-05-09 Tom Tromey <tom@tromey.com>
* top.c (server_command): Now bool.
* top.h (server_command): Now bool.
---
gdb/ChangeLog | 5 +++++
gdb/top.c | 2 +-
gdb/top.h | 2 +-
3 files changed, 7 insertions(+), 2 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. */
diff --git a/gdb/top.h b/gdb/top.h
index 0cbb244c551..e98772a51e6 100644
--- a/gdb/top.h
+++ b/gdb/top.h
@@ -281,7 +281,7 @@ extern void gdb_init (char *);
extern int source_line_number;
extern std::string source_file_name;
extern bool history_expansion_p;
-extern int server_command;
+extern bool server_command;
extern char *lim_at_start;
extern void gdb_add_history (const char *);
--
2.17.2
More information about the Gdb-patches
mailing list